"WuKong: effective diagnosis of bugs at large system scales."

Bowen Zhou, Milind Kulkarni, Saurabh Bagchi (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics