"Hybrid Input-Output Conformance and Test Generation."

Michiel van Osch (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics