@inproceedings{ISSTARacer,
  author = 	 {Eric Bodden and Klaus Havelund},
  TITLE    = "Racer: Effective Race Detection Using AspectJ",
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA), Seattle, WA, July 20-24 2008},
  MONTH    = "07",
  YEAR     = "2008",
  note     = {To appear.}
}