"What Makes Finite-State Models More (or Less) Testable?"

David Owen, Tim Menzies, Bojan Cukic (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics