How Good is Static Analysis at Finding Concurrency Bugs? - Devin Kester; Martin Mwebesa; Jeremy S. Bradbury (SCAM, 2010)