@inproceedings{ raz-etal-vvps11,
  url = {raz-etal-vvps11.pdf},
  booktitle = {Proceedings of the ICAPS-11 Workshop on Verification and Validation of Planning and Scheduling Systems (VVPS)},
  year = {2011},
  title = {Predicting Atomicity Violations in Concurrent Programs via Planning},
  author = {Niloofar Razavi and Azadeh Farzan and Sheila A. McIlraith}
}