Zhi Da Luo, Linda Hillis, Raja Das, Yao Qi. Effective Static Analysis to Find Concurrency Bugs in Java. In Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010. pages 135-144, IEEE Computer Society, 2010. [doi]
Abstract is missing.