A subset of precise UML for model-based testing. - Fabrice Bouquet; Christophe Grandpierre; Bruno Legeard; Fabien Peureux; Nicolas Vacelet; Mark Utting (A-MOST, 2007)

A Test Generation Solution to Automate Software Testing. - Fabrice Bouquet; Christophe Grandpierre; Bruno Legeard; Fabien Peureux (AST, 2008)