ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics