"MagicFuzzer: Scalable deadlock detection for large-scale applications."

Yan Cai, W. K. Chan (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics