Model-Based Security Verification and Testing for Smart-cards. - Elizabeta Fourneret; Martín Ochoa; Fabrice Bouquet; Julien Botella; Jan Jürjens; Parvaneh Yousefi (ARES, 2011)

Scenario Based Test Generation Using Test Designer. - Kalou Cabrera Castillos; Julien Botella (ICST Workshops, 2011)

Model-Based Filtering of Combinatorial Test Suites. - Taha Triki; Yves Ledru; Lydie du Bousquet; Frédéric Dadeau; Julien Botella (FASE, 2012)

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)

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. - Frédéric Dadeau; Kalou Cabrera Castillos; Yves Ledru; Taha Triki; Germán Vega; Julien Botella; Safouan Taha (ICST, 2013)

Risk-Based Vulnerability Testing Using Security Test Patterns. - Julien Botella; Bruno Legeard; Fabien Peureux; Alexandre Vernotte (ISoLA (2), 2014)

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. - Elizabeta Fourneret; Jérôme Cantenot; Fabrice Bouquet; Bruno Legeard; Julien Botella (SERE, 2014)

Achieving SCA Conformance Testing with Model-Based Testing. - Julien Botella; Jean-Philippe Delahaye; Eddie Jaffuel; Bruno Legeard; Fabien Peureux (J. Signal Process. Syst., 2016)

Complementary test selection criteria for model-based testing of security components. - Julien Botella; Jean-Francois Capuron; Frédéric Dadeau; Elizabeta Fourneret; Bruno Legeard; Florence Schadle (Int. J. Softw. Tools Technol. Transf., 2019)

Tool Support for Refactoring Manual Tests. - Élodie Bernard; Julien Botella; Fabrice Ambert; Bruno Legeard; Mark Utting (ICST, 2020)