"Simulation-based test adequacy criteria for distributed systems."

Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics