"Testing Probabilistic Distributed Systems."

Robert M. Hierons, Manuel Núñez (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics