"Passive Testing with Asynchronous Communications."

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