Génération de tests à partir de statecharts fondée sur le calcul de comportements. - Séverine Colin; Franck Lebeau; Bruno Legeard (Tech. Sci. Informatiques, 2006)

Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. - Julien Botella; Fabrice Bouquet; Jean-Francois Capuron; Franck Lebeau; Bruno Legeard; Florence Schadle (ICST, 2013)

Model-Based Vulnerability Testing for Web Applications. - Franck Lebeau; Bruno Legeard; Fabien Peureux; Alexandre Vernotte (ICST Workshops, 2013)

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. - Alexandre Vernotte; Frédéric Dadeau; Franck Lebeau; Bruno Legeard; Fabien Peureux; François Piat (ICISS, 2014)