| 2022 | ICST | Clustering of Usage Traces for Regression Test Cases Selection. | Vahana Dorcis, Fabrice Bouquet, Frdric Dadeau |
| 2020 | ICST | A Case-based Approach for introducing Testing Tools and Principles. | Frdric Dadeau, Jean-Philippe Gros, Fabien Peureux |
| 2014 | ICISS | Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. | Alexandre Vernotte, Frdric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, Franois Piat |
| 2013 | ICST | Constraints in Software Testing, Verification and Analysis CSTVA'2013. | Cristian Cadar, Frdric Dadeau |
| 2013 | ICST | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. | Frdric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germn Vega, Julien Botella, Safouan Taha |
| 2013 | IFM | A Compositional Automata-Based Semantics for Property Patterns. | Kalou Cabrera Castillos, Frdric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha |
| 2012 | FASE | Model-Based Filtering of Combinatorial Test Suites. | Taha Triki, Yves Ledru, Lydie du Bousquet, Frdric Dadeau, Julien Botella |
| 2012 | ICST | Grammar-Based Testing Using Realistic Domains in PHP. | Ivan Enderlin, Frdric Dadeau, Alain Giorgetti, Fabrice Bouquet |
| 2011 | ICST | Mutation-Based Test Generation from Security Protocols in HLPSL. | Frdric Dadeau, Pierre-Cyrille Ham, Rafik Kheddam |
| 2011 | ICST | Grey-Box Testing and Verification of Java/JML. | Frdric Dadeau, Fabien Peureux |
| 2011 | ICST | Selective Test Generation Method for Evolving Critical Systems. | Elizabeta Fourneret, Fabrice Bouquet, Frdric Dadeau, Stephane Debricon |
| 2010 | ICST | Model-Based Testing Using Symbolic Animation and Machine Learning. | Pierre-Christophe Bu, Frdric Dadeau, Pierre-Cyrille Ham |
| 2010 | SEFM | Assessing the Quality of B Models. | Adrien De Kermadec, Frdric Dadeau, Fabrice Bouquet |
| 2010 | TAP | Building a Test-Ready Abstraction of a Behavioral Model Using CLP. | Pierre-Christophe Bu, Frdric Dadeau, Adrien De Kermadec, Fabrice Bouquet |
| 2008 | SEC | A B Formal Framework for Security Developments in the Domain of Smart Card Applications. | Frdric Dadeau, Marie-Laure Potet, Rgis Tissot |
| 2007 | IFM | Guiding the Correction of Parameterized Specifications. | Jean-Franois Couchot, Frdric Dadeau |
| 2006 | FM | Automated Boundary Test Generation from JML Specifications. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard |
| 2005 | FM | Symbolic Animation of JML Specifications. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2005 | ICFEM | How Symbolic Animation Can Help Designing an Efficient Formal Model. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard |
| 2005 | TACAS | JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |