MagicFuzzer: Scalable deadlock detection for large-scale applications
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics