Grail: context-aware fixing of concurrency bugs
MagicFuzzer: Scalable deadlock detection for large-scale applications