Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux; Laurent Py (JFPLC, 2000)

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. - Bruno Legeard; Fabien Peureux (ASE, 2001)

Automated Boundary Testing from Z and B. - Bruno Legeard; Fabien Peureux; Mark Utting (FME, 2002)

CLPS-B - A Constraint Solver for B. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux (TACAS, 2002)

A Comparison of the BTT and TTF Test-Generation Methods. - Bruno Legeard; Fabien Peureux; Mark Utting (ZB, 2002)

B-Testing-Tools : génération de tests aux limites à partir de spécifications B. - Bruno Legeard; Fabien Peureux (Tech. Sci. Informatiques, 2002)

Mastering Test Generation from Smart Card Software Formal Models. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux; Eric Torreborre (CASSIS, 2004)

I/O-automata Based Testing. - Machiel van der Bijl; Fabien Peureux (Model-Based Testing of Reactive Systems, 2004)

Boundary Coverage Criteria for Test Generation from Formal Models. - Nikolai Kosmatov; Bruno Legeard; Fabien Peureux; Mark Utting (ISSRE, 2004)

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)

CLPS-B - A constraint solver to animate a B specification. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux (Int. J. Softw. Tools Technol. Transf., 2004)

Preamble computation in automated test case generation using constraint logic programming. - Séverine Colin; Bruno Legeard; Fabien Peureux (Softw. Test. Verification Reliab., 2004)

Controlling test case explosion in test generation from B formal models. - Bruno Legeard; Fabien Peureux; Mark Utting (Softw. Test. Verification Reliab., 2004)

Requirements traceability in automated test generation: application to smart card software validation. - Fabrice Bouquet; Eddie Jaffuel; Bruno Legeard; Fabien Peureux; Mark Utting (ACM SIGSOFT Softw. Eng. Notes, 2005)

An attempt to combine UML and formal methods to model airport security. - Yves Ledru; Régine Laleau; Michel Lemoine; Sylvie Vignes; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (CAiSE Forum, 2006)

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

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. - Régine Laleau; Sylvie Vignes; Yves Ledru; Michel Lemoine; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (Softw. Process. Improv. Pract., 2006)

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)

Test Generation Using Symbolic Animation of Models. - Frédéric Dadeau; Fabien Peureux; Bruno Legeard; Régis Tissot; Jacques Julliand; Pierre-Alain Masson; Fabrice Bouquet (Model-Based Testing for Embedded Systems, 2011)

Grey-Box Testing and Verification of Java/JML. - Frédéric Dadeau; Fabien Peureux (ICST Workshops, 2011)

Development of an automated MBT toolchain from UML/SysML models. - Jonathan Lasalle; Fabien Peureux; Frédéric Fondement (Innov. Syst. Softw. Eng., 2011)

SysML to UML model transformation for test generation purpose. - Jonathan Lasalle; Fabrice Bouquet; Bruno Legeard; Fabien Peureux (ACM SIGSOFT Softw. Eng. Notes, 2011)

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. - Fabrice Ambert; Fabrice Bouquet; Jonathan Lasalle; Bruno Legeard; Fabien Peureux (ECMFA, 2013)

Model-Based Testing for Functional and Security Test Generation. - Fabrice Bouquet; Fabien Peureux; Fabrice Ambert (FOSAD, 2013)

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

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (MODELSWARD, 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)

Verifying Modal Workflow Specifications Using Constraint Solving. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (IFM, 2014)

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

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. - Gil Bernabeu; Eddie Jaffuel; Bruno Legeard; Fabien Peureux (ISSRE Workshops, 2014)

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (Ershov Memorial Conference, 2015)

Tooled Process for Early Validation of SysML Models Using Modelica Simulation. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (FSEN, 2015)

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (ICFEM, 2015)

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach. - Alexandre Vernotte; Cornel Botea; Bruno Legeard; Arthur Molnar; Fabien Peureux (RISK, 2015)

Workflow Nets Verification: SMT or CLP? - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (FMICS-AVoCS, 2016)

Recent Advances in Model-Based Testing. - Mark Utting; Bruno Legeard; Fabrice Bouquet; Elizabeta Fourneret; Fabien Peureux; Alexandre Vernotte (Adv. Comput., 2016)

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

Reduction of Workflow Nets for Generalised Soundness Verification. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (VMCAI, 2017)

Assessing SMT and CLP approaches for workflow nets verification. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (Int. J. Softw. Tools Technol. Transf., 2018)

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. - Aymeric Cretin; Alexandre Vernotte; Antoine Chevrot; Fabien Peureux; Bruno Legeard (ICST Workshops, 2020)

A Case-based Approach for introducing Testing Tools and Principles. - Frédéric Dadeau; Jean-Philippe Gros; Fabien Peureux (ICST Workshops, 2020)

A domain-specific language to design false data injection tests for air traffic control systems. - Alexandre Vernotte; Aymeric Cretin; Bruno Legeard; Fabien Peureux (Int. J. Softw. Tools Technol. Transf., 2022)