Radius aware probabilistic testing of deadlocks with guarantees
MagicFuzzer: Scalable deadlock detection for large-scale applications