Generation of test sequences from formal specifications: GSM 11-11 standard case study. - Eddy Bernard; Bruno Legeard; Xavier Luck; Fabien Peureux (Softw. Pract. Exp., 2004)

Model-Based Testing from UML Models. - Eddy Bernard; Fabrice Bouquet; Amandine Charbonnier; Bruno Legeard; Fabien Peureux; Mark Utting; Eric Torreborre (GI Jahrestagung (2), 2006)

Requirements traceability in the model-based testing process. - Eddy Bernard; Bruno Legeard (Software Engineering (Workshops), 2007)