"A method for the automatic generation of test suites from object models."

Alessandra Cavarra, Charles Crichton, Jim Davies (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics