@inproceedings{DBLP:conf/vmcai/DonaldsonHK11,
  title = "Strengthening Induction-Based Race Checking with Lightweight Static Analysis",
  author = "Alastair F. Donaldson and Leopold Haller and Daniel Kroening",
  year = "2011",
  booktitle = "VMCAI",
  pages = "169-183",
}