Number of documents

21

Short CV of Marie-Claude Gaudel


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


Journal articles5 documents

  • Alex Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao. Formal mutation testing for Circus. Information and Software Technology, Elsevier, 2017, 81, pp.131 - 153. ⟨10.1016/j.infsof.2016.04.003⟩. ⟨hal-01655391⟩
  • Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study. International Journal of Software and Informatics (IJSI), ISCAS, 2015. ⟨hal-01765531⟩
  • Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement. Theoretical Computer Science, Elsevier, 2015, 563, pp.1-42. ⟨http://dx.doi.org/10.1016/j.tcs.2014.08.012⟩. ⟨10.1016/j.tcs.2014.08.012⟩. ⟨hal-01126800⟩
  • Johan Oudinet, Alain Denise, Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version). Theoretical Computer Science, Elsevier, 2013, 502, pp.165-176. ⟨hal-00716558⟩
  • Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, et al.. Coverage-biased random exploration of large models and application to testing. Software Tools for Technology Transfer (STTT), Springer, 2012, 14 (1), pp.73-93. ⟨inria-00560621⟩

Conference papers12 documents

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

Book sections2 documents

  • Abderrahmane Feliachi, Marie-Claude Gaudel, Wenzel Makarius, Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL. Lindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013. ⟨hal-00945960⟩
  • Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications. 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⟩. ⟨hal-00270574⟩

Reports2 documents

  • Alex Alberto, Marie-Claude Gaudel. Defining the Circus operational semantics in the K-framework. [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59. ⟨hal-01438386⟩
  • Romain Aissat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff. Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool. [Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016. ⟨hal-01764525⟩