"Génération de tests à partir de statecharts ..."

Séverine Colin, Franck Lebeau, Bruno Legeard (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics