Proving and Debugging Set-Based Specifications. - Jean-François Couchot; Frédéric Dadeau; David Déharbe; Alain Giorgetti; Silvio Ranise (WMF, 2003)

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)

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)

Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML. (Constrained Symbolic Evaluation for Validation - Application to Java/JML). - Frédéric Dadeau (2006)

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)

Guiding the Correction of Parameterized Specifications. - Jean-François Couchot; Frédéric Dadeau (IFM, 2007)

Mastering combinatorial explosion with the tobias-2 test generator. - Yves Ledru; Frédéric Dadeau; Lydie du Bousquet; Sébastien Ville; Elodie Rose (ASE, 2007)

Measuring a Java Test Suite Coverage Using JML Specifications. - Frédéric Dadeau; Yves Ledru; Lydie du Bousquet (MBT, 2007)

A Case Study in Matching Test and Proof Coverage. - Yves Ledru; Lydie du Bousquet; Frédéric Dadeau; F. Allouti (MBT, 2007)

Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. - Frédéric Dadeau; Adrien De Kermadec; Régis Tissot (ABZ, 2008)

A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. - Frédéric Dadeau; Julien Lamboley; Thierry Moutet; Marie-Laure Potet (ABZ, 2008)

A B Formal Framework for Security Developments in the Domain of Smart Card Applications. - Frédéric Dadeau; Marie-Laure Potet; Régis Tissot (SEC, 2008)

On the Use of Uniform Random Generation of Automata for Testing. - Frédéric Dadeau; Jocelyn Levrey; Pierre-Cyrille Héam (MBT@ETAPS, 2009)

jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. - Frédéric Dadeau; Régis Tissot (MBT@ETAPS, 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 fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. - Frédéric Dadeau; Abderrahmane Haddad; Thierry Moutet (Tech. Sci. Informatiques, 2009)

Model-Based Testing Using Symbolic Animation and Machine Learning. - Pierre-Christophe Bué; Frédéric Dadeau; Pierre-Cyrille Héam (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)

Mutation-Based Test Generation from Security Protocols in HLPSL. - Frédéric Dadeau; Pierre-Cyrille Héam; Rafik Kheddam (ICST, 2011)

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

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

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Safouan Taha (ICTSS, 2011)

Praspel: A Specification Language for Contract-Based Testing in PHP. - Ivan Enderlin; Frédéric Dadeau; Alain Giorgetti; Abdallah Ben Othman (ICTSS, 2011)

Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (Int. J. Softw. Tools Technol. Transf., 2011)

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

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

Scenario-based testing using symbolic animation of B models. - Frédéric Dadeau; Kalou Cabrera Castillos; Régis Tissot (Softw. Test. Verification Reliab., 2012)

Constraints in Software Testing, Verification and Analysis CSTVA'2013. - Cristian Cadar; Frédéric Dadeau (ICST Workshops, 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)

A Compositional Automata-Based Semantics for Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Bilal Kanso; Safouan Taha (IFM, 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)

Coverage Criteria for Model-Based Testing using Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (MBT, 2014)

A compositional automata-based semantics and preserving transformation rules for testing property patterns. - Safouan Taha; Jacques Julliand; Frédéric Dadeau; Kalou Cabrera Castillos; Bilal Kanso (Formal Aspects Comput., 2015)

Model-based mutation testing from security protocols in HLPSL. - Frédéric Dadeau; Pierre-Cyrille Héam; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (Softw. Test. Verification Reliab., 2015)

A Model-Based Testing Approach for Security Protocols. - Pierre-Cyrille Héam; Frédéric Dadeau; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (CSE/EUC/DCABES, 2016)

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

Temporal property patterns for model-based testing from UML/OCL. - Frédéric Dadeau; Elizabeta Fourneret; Abir Bouchelaghem (Softw. Syst. Model., 2019)

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)

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

Testing adaptation policies for software components. - Frédéric Dadeau; Jean-Philippe Gros; Olga Kouchnarenko (Softw. Qual. J., 2020)

Automated Generation of Initial Configurations for Testing Component Systems. - Frédéric Dadeau; Jean-Philippe Gros; Olga Kouchnarenko (FACS, 2021)

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

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies. - Frédéric Dadeau; Jean-Philippe Gros; Olga Kouchnarenko (Autom. Control. Comput. Sci., 2022)