Marie-Claude Gaudel
23
Documents
Présentation
see <https://www.lri.fr/~mcg/>
see <https://www.lri.fr/~mcg/>
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
Hommage à Alice Recoque1024 : 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 CircusInformation 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 refinementTheoretical 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 StudyInternational 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)Theoretical Computer Science, 2013, 502, pp.165-176
Article dans une revue
hal-00716558v1
|
Coverage-biased random exploration of large models and application to testingInternational Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93
Article dans une revue
inria-00560621v1
|
|
Formal Methods for Software Testing11th 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 Execution2016 {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 TestingLNCS, 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/HOLFormal 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
|
|
Conformance Relations for Distributed Testing Based on CSP23th 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
|
|
Counting for Random Testing23th 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
|
Uniform Monte-Carlo Model CheckingFASE 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 languagesGASCom 2010, 2010, Montreal, Canada
Communication dans un congrès
inria-00542683v1
|
|
|
Statistical Testing of Synchronous Reactive SystemsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès
hal-02270268v1
|
|
Testing for Refinement in CSPFormal 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 TestingTwentieth International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India
Communication dans un congrès
inria-00112681v1
|
|
Uniform Random Sampling of Traces in Very Large ModelsFirst 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 TestingOn-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, Dec 2006, Whistler, BC, Canada
Communication dans un congrès
inria-00117172v1
|
The Circus Testing Theory Revisited in Isabelle/HOLLindsay 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 specificationsR. 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
|
|
Defining the Circus operational semantics in the K-framework[Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59
Rapport
hal-01438386v1
|
|
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
Rapport
hal-01764525v1
|