@inproceedings{SCAM-2010-KesterMB,
	author        = "Devin Kester and Martin Mwebesa and Jeremy S. Bradbury",
	booktitle     = "{Proceedings of the 10th International Working Conference on Source Code Analysis and Manipulation}",
	doi           = "10.1109/SCAM.2010.26",
	isbn          = "978-0-7695-4178-5",
	pages         = "115--124",
	publisher     = "{IEEE Computer Society}",
	title         = "{How Good is Static Analysis at Finding Concurrency Bugs?}",
	year          = 2010,
}