Radius aware probabilistic testing of deadlocks with guarantees
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each