Numan Manzoor, Hussan Munir, Misagh Moayyed. Comparison of Static Analysis Tools for Finding Concurrency Bugs. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 129-133, IEEE, 2012. [doi]
Abstract is missing.