"Radius aware probabilistic testing of deadlocks with guarantees."

Yan Cai, Zijiang Yang (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics