Marie-Claude Gaudel

26
Documents

Présentation

Publications

5
5
4
4
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

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-03913454 v1
Image document

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-01655391 v1
Image document

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-01126800 v1

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-01765531 v1
Image document

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-00716558 v1

Coverage-biased random exploration of large models and application to testing

Alain Denise , Marie-Claude Gaudel , Sandrine-Dominique Gouraud , Richard Lassaigne , Johan Oudinet et 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-00560621 v1
Image document

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-01683611 v1

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-01655414 v1
Image document

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-01126796 v1
Image document

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-01126803 v1
Image document

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-01583923 v1
Image document

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-01583925 v1

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-00644834 v1

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-00542683 v1
Image document

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-02270268 v1
Image document

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-00260928 v1
Image document

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-00112681 v1
Image document

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-00117172 v1
Image document

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-00080471 v1

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-00945960 v1
Image document

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-00270574 v1
Image document

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-01438386 v1
Image document

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-01764525 v1
Image document

Algebraic specification of abstract data types

Marie-Claude Gaudel
[Research Report] IRIA-RR-360, IRIA. 1979, pp.31
Rapport (rapport de recherche) hal-04716600 v1
Image document

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-04716543 v1
Image document

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-04716522 v1