ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Calfuzzer: An extensible active testing framework for concurrent programs