MagicFuzzer: Scalable deadlock detection for large-scale applications
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs