Nombre de documents

13

CV abrégé de Marie-Claude Gaudel


 

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

 

 

 


Article dans une revue3 documents

  • Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement. Journal of Theoretical Computer Science (TCS), 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ès8 documents

  • Ana Cavalcanti, Marie-Claude Gaudel. Data Flow Coverage for Circus-Based Testing. Stefania Gnesi, Arend Rensink. Fundamental Approaches to Software Engineering - 17th International Conference,, 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>
  • 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>
  • 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>
  • 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>
  • 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>