Capturing software processes through the generated objects. - Michel Rueher; Didier Ladret; Bruno Legeard (ISPW, 1988)

Applications of Constraints Logic Programming Languages. - Jean-Jacques Chabrier; Claudine Pradelles; Bruno Legeard (ICLP, 1991)

Short Overview of the CLPS System. - Bruno Legeard; Emmanuel Legros (PLILP, 1991)

Hoist scheduling problem: an approach based on constraint logic programming. - Pierre Baptiste; Bruno Legeard; Christophe Varnier (ICRA, 1992)

Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. - Bruno Legeard; Emmanuel Legros (JFPL, 1992)

Constraints over Homogeneous Hereditarily Finite Sets. - Fabrice Ambert; Mohamed Hibti; Henri Lombardi; Bruno Legeard (ICLP Workshop on Logic Programming with Sets, 1993)

Set-Unification from Another Point of View. - Mohamed Hibti; Henri Lombardi; Bruno Legeard (ICLP Workshop on Logic Programming with Sets, 1993)

Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». - Christophe Varnier; Pierre Baptiste; Bruno Legeard (JFPL, 1993)

Deciding in HFS-Theory via Linear Integer Programming. - Mohamed Hibti; Henri Lombardi; Bruno Legeard (LPAR, 1993)

Sequences Constraint Solving in Constraints Logic Programming. - Pierre Baptiste; Bruno Legeard; Hamza Zidoum (ICTAI, 1994)

CLPS : un langage de PLC ensembliste. - Fabrice Ambert; Bruno Legeard; Hamza Zidoum (JFPLC, 1995)

Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. - Christophe Varnier; Pierre Baptiste; Bruno Legeard (JFPLC, 1995)

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. - Eric Boucher; Bruno Legeard (JFPLC, 1996)

Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. - Eric Boucher; Bruno Legeard (JFPLC, 1997)

Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem. - Eric Boucher; Astrid Bachelu; Christophe Varnier; Pierre Baptiste; Bruno Legeard (PACT, 1997)

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. - Mohamed Hibti; Bruno Legeard; Henri Lombardi (RAIRO Theor. Informatics Appl., 1997)

Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. - Jacques Julliand; Bruno Legeard; Thierry Machicoane; Benoit Parreaux; Bruno Tatibouët (B, 1998)

Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. - Lotfi Berkaoui; Bruno Legeard (JFPLC, 1998)

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. - Isabelle Jacques; Bruno Legeard; Laurent Py (JFPLC, 1998)

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)

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. - Fabrice Bouquet; Bruno Legeard (FME, 2003)

Intégration de domaines à variables dans un solveur de contraintes ensemblistes. - Fabrice Ambert; Sébastien Chemin; Bruno Legeard (Tech. Sci. Informatiques, 2003)

Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. - Fabrice Bouquet; Bruno Legeard; Nicolas Vacelet (Tech. Sci. Informatiques, 2003)

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

Faster Analysis of Formal Specifications. - Fabrice Bouquet; Bruno Legeard; Mark Utting; Nicolas Vacelet (ICFEM, 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)

Symbolic Animation of JML Specifications. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard; Mark Utting (FM, 2005)

How Symbolic Animation Can Help Designing an Efficient Formal Model. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard (ICFEM, 2005)

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard; Mark Utting (TACAS, 2005)

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)

Automated Boundary Test Generation from JML Specifications. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard (FM, 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)

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)

Practical Model-Based Testing - A Tools Approach. - Mark Utting; Bruno Legeard (Morgan Kaufmann, 2007)

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

LEIRIOS Test Generator: Automated Test Generation from B Models. - Eddie Jaffuel; Bruno Legeard (B, 2007)

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

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

Model-Based Testing for the Cloud. - Antonia Bertolino; Wolfgang Grieskamp; Robert M. Hierons; Yves Le Traon; Bruno Legeard; Henry Muccini; Amit M. Paradkar; David S. Rosenblum; Jan Tretmans (Practical Software Testing: Tool Automation and Human Factors, 2010)

Model-based Testing: Next Generation Functional Software Testing. - Bruno Legeard (Practical Software Testing: Tool Automation and Human Factors, 2010)

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)

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

A taxonomy of model-based testing approaches. - Mark Utting; Alexander Pretschner; Bruno Legeard (Softw. Test. Verification Reliab., 2012)

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 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)

Smartesting CertifyIt: Model-Based Testing for Enterprise IT. - Bruno Legeard; Arnaud Bouzy (ICST, 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)

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)

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)

Model-based Testing: Where Does It Stand? - Robert V. Binder; Bruno Legeard; Anne Kramer (ACM Queue, 2014)

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)

Model-Based Testing as a Service for IoT Platforms. - Abbas Ahmad; Fabrice Bouquet; Elizabeta Fourneret; Franck Le Gall; Bruno Legeard (ISoLA (2), 2016)

Security certification and labelling in Internet of Things. - Gianmarco Baldini; Antonio F. Skarmeta; Elizabeta Fourneret; Ricardo Neisse; Bruno Legeard; Franck Le Gall (WF-IoT, 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)

Improving Internet of Things device certification with policy-based management. - Ricardo Neisse; Gianmarco Baldini; Gary Steri; Abbas Ahmad; Elizabeta Fourneret; Bruno Legeard (GIoTS, 2017)

Lightweight Model-Based Testing for Enterprise IT. - Élodie Bernard; Fabrice Ambert; Bruno Legeard; Arnaud Bouzy (ICST Workshops, 2018)

Chapter One - Model-Based Testing for Internet of Things Systems. - Abbas Ahmad; Fabrice Bouquet; Elizabeta Fourneret; Bruno Legeard (Adv. Comput., 2018)

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)

Identifying and Generating Missing Tests using Machine Learning on Execution Traces. - Mark Utting; Bruno Legeard; Frédéric Dadeau; Frédéric Tamagnan; Fabrice Bouquet (AITest, 2020)

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)

Supporting efficient test automation using lightweight MBT. - Élodie Bernard; Fabrice Ambert; Bruno Legeard (ICST Workshops, 2020)

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

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). - Pierre Bernabé; Helge Spieker; Bruno Legeard; Arnaud Gotlieb (AAAI, 2021)

DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation. - Antoine Chevrot; Alexandre Vernotte; Bruno Legeard (CoRR, 2021)

CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation. - Antoine Chevrot; Alexandre Vernotte; Bruno Legeard (Comput. Secur., 2022)

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)

Regression Test Generation by Usage Coverage Driven Clustering on User Traces. - Frédéric Tamagnan; Fabrice Bouquet; Alexandre Vernotte; Bruno Legeard (ICSTW, 2023)

Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. - Pierre Bernabé; Arnaud Gotlieb; Bruno Legeard; Dusica Marijan; Frank Olaf Sem-Jacobsen; Helge Spieker (IEEE Trans. Intell. Transp. Syst., 2024)

Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns. - Frédéric Tamagnan; Alexandre Vernotte; Fabrice Bouquet; Bruno Legeard (Softw. Test. Verification Reliab., 2024)

Are Autonomous Web Agents Good Testers? - Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 001; Bruno Legeard; Aymeric Cretin (Proc. ACM Softw. Eng., 2025)

Are Autonomous Web Agents Good Testers? - Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 001; Bruno Legeard (CoRR, 2025)