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 = {http://www.bodden.de/pubs/bh10aspect.pdf},
	Volume = 36,
	Year = {2010},
	Publisher = {IEEE},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/bh10aspect.pdf}}
Powered by bibtexbrowser