Marie-Claude Gaudel

Présentation

see https://www.lri.fr/~mcg/

Publications

Article dans une revue (6)

Hommage à Alice Recoque Florence Sèdes,Marie-Claude Gaudel 1024 : Bulletin de la Société Informatique de France, 2021, 17, pp.119-122. ⟨10.48556/SIF.1024.17.119⟩ Article dans une revue hal-03913454v1
Formal mutation testing for Circus Alex Alberto,Ana Cavalcanti,Marie-Claude Gaudel,Adenilso Simao Information and Software Technology, 2017, 81, pp.131 - 153. ⟨10.1016/j.infsof.2016.04.003⟩ Article dans une revue hal-01655391v1
Test selection for traces refinement Ana Cavalcanti,Marie-Claude Gaudel Theoretical Computer Science, 2015, 563, pp.1-42. ⟨10.1016/j.tcs.2014.08.012⟩ Article dans une revue hal-01126800v1
Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study Abderrahmane Feliachi,Marie-Claude Gaudel,Burkhart Wolff International Journal of Software and Informatics (IJSI), 2015 Article dans une revue hal-01765531v1
A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version) Johan Oudinet,Alain Denise,Marie-Claude Gaudel Theoretical Computer Science, 2013, 502, pp.165-176. ⟨10.1016/j.tcs.2012.07.025⟩ Article dans une revue hal-00716558v1
Coverage-biased random exploration of large models and application to testing Alain Denise,Marie-Claude Gaudel,Sandrine-Dominique Gouraud,Richard Lassaigne,Johan Oudinetet al. International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93. ⟨10.1007/s10009-011-0190-1⟩ Article dans une revue istex inria-00560621v1

Communication dans un congrès (13)

Formal Methods for Software Testing Marie-Claude Gaudel 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), , IEEE, Sep 2017, Sophia-Antipolis, France Communication dans un congrès hal-01683611v1
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution Romain Aissat,Marie-Claude Gaudel,Frédéric Voisin,Burkhart Wolff 2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} , Aug 2016, Vienna, Austria Communication dans un congrès hal-01655414v1
Data Flow Coverage for Circus-Based Testing Ana Cavalcanti,Marie-Claude Gaudel LNCS, ETAPS, Apr 2014, Grenoble, France. pp.415-429, ⟨10.1007/978-3-642-54804-8_29⟩ Communication dans un congrès hal-01126796v1
The Circus Testing Theory Revisited in Isabelle/HOL Abderrahmane Feliachi,Marie-Claude Gaudel,Makarius Wenzel,Burkhart Wolff Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. pp.131--147, ⟨10.1007/978-3-642-41202-8_10⟩ Communication dans un congrès hal-01126803v1
Counting for Random Testing Marie-Claude Gaudel 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩ Communication dans un congrès hal-01583925v1
Conformance Relations for Distributed Testing Based on CSP Ana Cavalcanti,Marie-Claude Gaudel,Robert M. Hierons 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩ Communication dans un congrès hal-01583923v1
Uniform Monte-Carlo Model Checking Johan Oudinet,Alain Denise,Marie-Claude Gaudel,Richard Lassaigne,Sylvain Peyronnet FASE 2011, 2011, Saarbrücken, Germany Communication dans un congrès hal-00644834v1
A new dichotomic algorithm for the uniform random generation of words in regular languages Johan Oudinet,Alain Denise,Marie-Claude Gaudel GASCom 2010, 2010, Montreal, Canada Communication dans un congrès inria-00542683v1
Statistical Testing of Synchronous Reactive Systems Julien Fayolle,Marie-Claude Gaudel,Sandrine-Dominique Gouraud,Bruno Marre Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France Communication dans un congrès hal-02270268v1
Testing for Refinement in CSP Ana Cavalcanti,Marie-Claude Gaudel Formal Methods and Software Engineering, ICFEM 2007, Nov 2007, Boca-Raton, United States. pp.151-170 Communication dans un congrès hal-00260928v1
A Machine Learning approach for Statistical Software Testing Nicolas Baskiotis,Michèle Sebag,Marie-Claude Gaudel,Sandrine-Dominique Gouraud Twentieth International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India, India Communication dans un congrès inria-00112681v1
Uniform Random Sampling of Traces in Very Large Models Alain Denise,Marie-Claude Gaudel,Sandrine-Dominique Gouraud,Richard Lasseigne,Sylvain Peyronnet First International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19 Communication dans un congrès hal-00080471v1
EXIST: Exploitation/Exploration Inference for Statistical Software Testing Nicolas Baskiotis,Michèle Sebag,Marie-Claude Gaudel,Sandrine-Dominique Gouraud On-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, Dec 2006, Whistler, BC, Canada Communication dans un congrès inria-00117172v1

Chapitre d'ouvrage (2)

The Circus Testing Theory Revisited in Isabelle/HOL Abderrahmane Feliachi,Marie-Claude Gaudel,Wenzel Makarius,Burkhart Wolff Lindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013 Chapitre d'ouvrage hal-00945960v1
Testing data types implementations from algebraic specifications Marie-Claude Gaudel,Pascale Le Gall R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78917-8_7⟩ Chapitre d'ouvrage hal-00270574v1

Rapport (5)

Defining the Circus operational semantics in the K-framework Alex Alberto,Marie-Claude Gaudel [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59 Rapport (rapport de recherche) hal-01438386v1
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool Romain Aissat,Marie-Claude Gaudel,Frédéric Voisin,Burkhart Wolff [Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016 Rapport (rapport de recherche) hal-01764525v1
Algebraic specification of abstract data types Marie-Claude Gaudel [Research Report] IRIA-RR-360, IRIA. 1979, pp.31 Rapport (rapport de recherche) hal-04716600v1
Semantics of procedures as an algebraic abstract data type Marie-Claude Gaudel,Monique Mazaud,Philippe Deschamp [Research Report] IRIA-RR-334, IRIA. 1978, pp.24 Rapport (rapport de recherche) hal-04716543v1
Specifications incomplètes mais suffisantes de la représentation des types abstraits Marie-Claude Gaudel [Rapport de recherche] IRIA-RR-320, IRIA. 1978, pp.18 Rapport (rapport de recherche) hal-04716522v1