Séverine Colin Franck Lebeau Bruno Legeard Génération de tests à partir de statecharts fondée sur le calcul de comportements. 103-132 2006 25 Technique et Science Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=7915 db/journals/tsi/tsi25.html#ColinLL06