"Towards Automated Support for Deriving Test Data from UML Statecharts."

Lionel C. Briand, Jim Cui, Yvan Labiche (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics