| 2019 | FM | Formal Specifications and Software Testing, a Fruitful Convergence. | Marie-Claude Gaudel |
| 2017 | TASE | Formal methods for software testing (invited paper). | Marie-Claude Gaudel |
| 2016 | QRS | A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. | Romain Assat, Marie-Claude Gaudel, Frdric Voisin, Burkhart Wolff |
| 2014 | FASE | Data Flow Coverage for Circus-Based Testing. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2013 | ICFEM | The Circus Testing Theory Revisited in Isabelle/HOL. | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2011 | FASE | Uniform Monte-Carlo Model Checking. | Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
| 2011 | TAP | Checking Models, Proving Programs, and Testing Systems. | Marie-Claude Gaudel |
| 2007 | ICFEM | Testing for Refinement in CSP. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2007 | IJCAI | A Machine Learning Approach for Statistical Software Testing. | Nicolas Baskiotis, Michle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
| 2006 | ISSTA | Uniform random sampling of traces in very large models. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
| 2005 | FM | Formal Methods and Testing: Hypotheses, and Correctness Approximations. | Marie-Claude Gaudel |
| 2004 | ICSE | Toward Undoing in Composite Web Services. | Marie-Claude Gaudel |
| 2004 | ISSRE | A Generic Method for Statistical Testing. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
| 2002 | ISSRE | Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. | Grgory Lestiennes, Marie-Claude Gaudel |
| 1999 | FASE | Dynamic Systems with Implicit State. | Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin |
| 1994 | ICSE | Formal Specification Techniques (Extended Abstract). | Marie-Claude Gaudel |
| 1992 | STACS | Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. | Marie-Claude Gaudel |
| 1988 | ESOP | A Theory of Software Reusability. | Marie-Claude Gaudel, Th. Moineau |
| 1986 | AIMSA | Logic Programming and Automatization of Software Test Strategies. | Marie-Claude Gaudel |
| 1984 | ICSE | Exception Handling: Formal Specification and Systematic Program Construction. | Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Grard D. Guiho |
| 1980 | CC | Specification of compilers as abstract data type representations. | Marie-Claude Gaudel |