@inproceedings{JagannathETAL11IMUnit,
  author = {Jagannath, Vilas and Gligoric, Milos and Jin, Dongyun and Luo, Qingzhou and Rosu, Grigore and Marinov, Darko},
  title = {Improved Multithreaded Unit Testing},
  booktitle = {Symposium on the Foundations of Software Engineering},
  pages = {223--233},
  year = {2011},
}