Taming Deadlocks in Multithreaded Programs
MagicFuzzer: Scalable deadlock detection for large-scale applications