@inproceedings{chen09have,
author = "Qichang Chen and Liqiang Wang and Zijiang Yang and Scott D. Stoller",
title = "HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations",
booktitle = "Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE)",
year = 2009,
publisher="Springer-Verlag",
series="Lecture Notes in Computer Science",
volume=5503,
pages="425-439"
}