Solving Over-Constrained CSPs Using Weighted OBDDs. - Fabrice Bouquet; Philippe Jégou (Over-Constrained Systems, 1995)

Using OBDDs to Handle Dynamic Constraints. - Fabrice Bouquet; Philippe Jégou (Inf. Process. Lett., 1997)

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)

CLPS-B - A Constraint Solver for B. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux (TACAS, 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)

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)

CLPS-B - A constraint solver to animate a B specification. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux (Int. J. Softw. Tools Technol. Transf., 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)

Checking JML Specifications with B Machines. - Fabrice Bouquet; Frédéric Dadeau; Julien Groslambert (ZB, 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)

Validation of Regulation Documents by Automated Analysis of Formal Models. - Didier Bert; Fabrice Bouquet; Yves Ledru; Sylvie Vignes (ReMo2V, 2006)

Safety Property Driven Test Generation from. - Fabrice Bouquet; Frédéric Dadeau; Julien Groslambert; Jacques Julliand (FATES/RV, 2006)

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)

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

Instantiation of Parameterized Data Structures for Model-Based Testing. - Fabrice Bouquet; Jean-François Couchot; Frédéric Dadeau; Alain Giorgetti (B, 2007)

JML2B: Checking JML Specifications with B Machines. - Fabrice Bouquet; Frédéric Dadeau; Julien Groslambert (B, 2007)

Using Computer Science Modeling Techniques for Airport Security Certification. - Régine Laleau; Yves Ledru; Didier Bert; Fabrice Bouquet; Michel Lemoine; Catherine Dubois; Véronique Donzeau-Gouge; Sylvie Vignes (RCIS, 2007)

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

Automating UML models merge for web services testing. - Vincent Pretre; Fabrice Bouquet; Christophe Lang (iiWAS, 2008)

Using Common Criteria to Assess Quality of Web Services. - Vincent Pretre; Fabrice Bouquet; Christophe Lang (ICST Workshops, 2009)

Automated UML models merging for web services testing. - Vincent Pretre; Adrien De Kermadec; Fabrice Bouquet; Christophe Lang; Frédéric Dadeau (Int. J. Web Grid Serv., 2009)

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. - Fabrice Bouquet; Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (ICST Workshops, 2010)

Assessing the Quality of B Models. - Adrien De Kermadec; Frédéric Dadeau; Fabrice Bouquet (SEFM, 2010)

Building a Test-Ready Abstraction of a Behavioral Model Using CLP. - Pierre-Christophe Bué; Frédéric Dadeau; Adrien De Kermadec; Fabrice Bouquet (TAP@TOOLS, 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)

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)

Modelling of Complex Systems with AML as Realized in MIRO Project. - Sébastien Chipeaux; Fabrice Bouquet; Christophe Lang; Nicolas Marilleau (Web Intelligence/IAT Workshops, 2011)

Selective Test Generation Method for Evolving Critical Systems. - Elizabeta Fourneret; Fabrice Bouquet; Frédéric Dadeau; Stephane Debricon (ICST Workshops, 2011)

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). - Fabio Massacci; Fabrice Bouquet; Elizabeta Fourneret; Jan Jürjens; Mass Soldal Lund; Sébastien Madelénat; Jan Tobias Mühlberg; Federica Paci; Stéphane Paul; Frank Piessens; Bjørnar Solhaug; Sven Wenzel (ServiceWave, 2011)

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

Grammar-Based Testing Using Realistic Domains in PHP. - Ivan Enderlin; Frédéric Dadeau; Alain Giorgetti; Fabrice Bouquet (ICST, 2012)

Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. - Federica Paci; Fabio Massacci; Fabrice Bouquet; Stephane Debricon (ICST, 2012)

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (OCL@MoDELS, 2012)

Ramos: Concurrent writing and reconfiguration for collaborative systems. - Lionel Droz-Bartholet; Jean-Christophe Lapayre; Fabrice Bouquet; Éric Garcia; A. Heinisch (J. Parallel Distributed Comput., 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 for Functional and Security Test Generation. - Fabrice Bouquet; Fabien Peureux; Fabrice Ambert (FOSAD, 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)

Strategies Comparison of Test Generation from UML Using SMT Solver. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (ICST Workshops, 2013)

A Constraint Solver for PHP Arrays. - Ivan Enderlin; Alain Giorgetti; Fabrice Bouquet (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)

Modeling and simulation of modular complex system: Application to air-jet conveyor. - Jean-Marie Gauthier; Dominique Gendreau; Ahmed Hammad; Fabrice Bouquet (AIM, 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)

Test generation with Satisfiability Modulo Theories solvers in model-based testing. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (Softw. Test. Verification Reliab., 2014)

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)

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

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

Une approche passive pour réduire les coûts de traitement des interactions entre agents (présentation courte). - Nicolas Diot; Fabrice Bouquet; Christophe Lang (JFSMA, 2018)

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

Contract-based testing for PHP with Praspel. - Frédéric Dadeau; Alain Giorgetti; Fabrice Bouquet; Ivan Enderlin (J. Syst. Softw., 2018)

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)

A Language for Modelling False Data Injection Attacks in Internet of Things. - Mathieu Briland; Fabrice Bouquet (SERP4IoT, 2021)

An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices. - Mathieu Briland; Fabrice Bouquet (J. Univers. Comput. Sci., 2021)

Clustering of Usage Traces for Regression Test Cases Selection. - Vahana Dorcis; Fabrice Bouquet; Frédéric Dadeau (ICST Workshops, 2022)

Multidimensional Adaptative kNN over Tracking Outliers (Makoto). - Jessy Colonval; Fabrice Bouquet (ADMA (1), 2023)

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

Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance. - Lionel Pazart; Vincent Armbruster; Debora Monin; Corinne Delorme; Monique Borel; Damien Le Nihouannen; Frédéric Barbot; Fabrice Bouquet; Guy Carrault; Thomas Lihoreau; Marlène Durand; Helène Clogenson; et al. (BIOSTEC (1), 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)

Hunting Inside N-Quantiles of Outliers (Hino). - Jessy Colonval; Fabrice Bouquet (PAKDD (6), 2025)