@inproceedings{92161,
  author = {Daniel Schwartz-Narbonne and Feng Liu and David August and Sharad Malik},
  title = {PASSERT: a tool for debugging parallel programs},
  year = {2012},
  journal = {Computer Aided Verification},
  pages = {751{\textendash}757},
  publisher = {Springer Berlin/Heidelberg},
  language = {eng},
}