Aspect-oriented Race Detection in Java

Bodden, Eric; Havelund, Klaus

Aspect-oriented Race Detection in Java (bibtex)

@article{TSERacer,
	Author = {Eric Bodden and Klaus Havelund},
	Issn = {0098-5589},
	Journal = {IEEE Transactions on Software Engineering (TSE)},
	Month = jul,
	Number = 4,
	Pages = {509--527},
	Title = {Aspect-oriented Race Detection in {Java}},
	Url = {https://www.bodden.de/pubs/bh10aspect.pdf},
	Volume = 36,
	Year = {2010},
	Publisher = {IEEE},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bh10aspect.pdf}}