"Graph Transformations for Model-based Testing."

Mirko Conrad et al. (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics