Radius aware probabilistic testing of deadlocks with guarantees
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability