Nombre de documents

21

CV abrégé de Marie-Claude Gaudel


 

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

 

 

 


Article dans une revue5 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〉

Communication dans un congrès12 documents

  • Marie-Claude Gaudel. Formal Methods for Software Testing. 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), , Sep 2017, Sophia-Antipolis, France. 〈http://tase2017.unice.fr/〉. 〈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. Stefania Gnesi, Arend Rensink. LNCS, Apr 2014, Grenoble, France. Springer, Lecture Notes in Computer Science, pp.415-429, 2014, Fundamental Approaches to Software Engineering - 17th International Conference,. 〈http://dx.doi.org/10.1007/978-3-642-54804-8〉. 〈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. Lindsay Groves, Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. Springer, Lecture Notes in Computer Science, 8144, pp.131--147, 2013, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method. 〈http://dx.doi.org/10.1007/978-3-642-41202-8〉. 〈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. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.48-63, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_5〉. 〈hal-01583923〉
  • Marie-Claude Gaudel. Counting for Random Testing. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.1-8, 2011, Testing Software and Systems. 〈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. 2011. 〈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. 2010. 〈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, 2007. 〈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. Springer-Verlag, 4789, pp.151-170, 2007, Lecture Notes in Computer Science. 〈hal-00260928〉
  • Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lasseigne, Sylvain Peyronnet. Uniform Random Sampling of Traces in Very Large Models. Johannes Mayer, Robert Merkel. First International Workshop on Random Testing, 2006, Portland, Maine, United States. ACM, pp.10-19, 2006. 〈hal-00080471〉
  • 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, 2006. 〈inria-00117172〉

Chapitre d'ouvrage2 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〉

Rapport2 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〉