"Automated Test Code Generation from UML Protocol State Machines."

Dianxiang Xu, Weifeng Xu, W. Eric Wong (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics