"A Symbolic Framework for Model-Based Testing."

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics