Marie-Claude Gaudel

According to our database, Marie-Claude Gaudel authored at least 72 papers between 1977 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Efficient Uniform Sampling of Traces in Presence of Infeasibilities.

Marie-Claude Gaudel, Frédéric Voisin

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024

"Testing Can Be Formal Too": 30 Years Later.

Marie-Claude Gaudel

Proceedings of the French School of Programming, 2024

2019

Formal Specifications and Software Testing, a Fruitful Convergence.

Marie-Claude Gaudel

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Special section of Tests and Proofs 2016.

Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons

Formal Aspects Comput., 2018

2017

Formal mutation testing for Circus.

Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão

Inf. Softw. Technol., 2017

Formal methods for software testing (invited paper).

Marie-Claude Gaudel

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

Test selection for traces refinement.

Ana Cavalcanti, Marie-Claude Gaudel

Theor. Comput. Sci., 2015

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Int. J. Softw. Informatics, 2015

2014

Data Flow Coverage for Circus-Based Testing.

Ana Cavalcanti, Marie-Claude Gaudel

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

A new dichotomic algorithm for the uniform random generation of words in regular languages.

Johan Oudinet, Alain Denise, Marie-Claude Gaudel

Theor. Comput. Sci., 2013

Some approximations in Model Checking and Testing

Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont

CoRR, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff

Proceedings of the Formal Methods and Software Engineering, 2013

2012

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

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Int. J. Softw. Tools Technol. Transf., 2012

Isabelle/Circus.

Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel

Arch. Formal Proofs, 2012

Isabelle/Circus: A Process Specification and Verification Environment.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

Editorial.

Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel

Formal Aspects Comput., 2011

Testing for refinement in <i>Circus</i>.

Ana Cavalcanti, Marie-Claude Gaudel

Acta Informatica, 2011

Checking Models, Proving Programs, and Testing Systems.

Marie-Claude Gaudel

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Counting for Random Testing.

Marie-Claude Gaudel

Proceedings of the Testing Software and Systems, 2011

Conformance Relations for Distributed Testing Based on CSP.

Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons

Proceedings of the Testing Software and Systems, 2011

Uniform Monte-Carlo Model Checking.

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Unifying Theories in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Specification Coverage for Testing in <i>Circus</i>.

Ana Cavalcanti, Marie-Claude Gaudel

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

2008

Coverage-biased Random Exploration of Models.

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Proceedings of the Fourth Workshop on Model Based Testing, 2008

A Note on Traces Refinement and the <i>conf</i> Relation in the Unifying Theories of Programming.

Ana Cavalcanti, Marie-Claude Gaudel

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Testing Data Types Implementations from Algebraic Specifications.

Marie-Claude Gaudel, Pascale Le Gall

Proceedings of the Formal Methods and Testing, 2008

SoftwareTesting with Active Learning in a Graph.

Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

2007

Software Testing Based on Formal Specification.

Marie-Claude Gaudel

Proceedings of the Testing Techniques in Software Engineering, 2007

A Machine Learning Approach for Statistical Software Testing.

Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud

Proceedings of the IJCAI 2007, 2007

Testing for Refinement in CSP.

Ana Cavalcanti, Marie-Claude Gaudel

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Uniform random sampling of traces in very large models.

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 1st International Workshop on Random Testing, 2006

2005

Formal Methods and Testing: Hypotheses, and Correctness Approximations.

Marie-Claude Gaudel

Proceedings of the FM 2005: Formal Methods, 2005

2004

A Generic Method for Statistical Testing.

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Toward Undoing in Composite Web Services.

Marie-Claude Gaudel

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

The Atomic Manifesto: a Story in Four Quarks.

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues

Proceedings of the Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004

2003

Problems and Methods for Testing Infinite State Machines: Extended Abstract.

Marie-Claude Gaudel

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2002

Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.

Grégory Lestiennes, Marie-Claude Gaudel

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

A New Way of Automating Statistical Testing Methods.

Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Testing from Formal Specifications, a Generic Approach.

Marie-Claude Gaudel

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

1999

The Role of Formal Specifications.

Marie-Claude Gaudel, Gilles Bernot

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Development of an Atomic-Broadcast Protocol Using LOTOS.

Perry R. James, Markus Endler, Marie-Claude Gaudel

Softw. Pract. Exp., 1999

Dynamic Systems with Implicit State.

Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Imperative Specifications.

Marie-Claude Gaudel, Alexandre V. Zamulin

Proceedings of the Perspectives of System Informatics, 1999

1998

Testing Algebraic Data Types and Processes: A Unifying Theory.

Marie-Claude Gaudel, Perry R. James

Formal Aspects Comput., 1998

Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs.

Antonio Galves, Marie-Claude Gaudel

Proceedings of the Digest of Papers: FTCS-28, 1998

1996

A Proposal for a Glass-Box Approach for Subsumption Checking.

Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

Testing Can Be Formal, Too.

Marie-Claude Gaudel

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Formal Specification Techniques for Interactive Systems.

Marie-Claude Gaudel

Proceedings of the Design, 1995

A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State.

Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Foreword: Selected Papers of TAPSOFT'93.

Marie-Claude Gaudel

Sci. Comput. Program., 1994

Formal Specification Techniques (Extended Abstract).

Marie-Claude Gaudel

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Using algebraic specifications in software testing: A case study on the software of an automatic subway.

Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre

J. Syst. Softw., 1993

1992

Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives.

Marie-Claude Gaudel

Proceedings of the STACS 92, 1992

Test Selection Based on ADT Specifications.

Marie-Claude Gaudel

Proceedings of the Protocol Test Systems, V, 1992

1991

Software testing based on formal specifications: a theory and a tool.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Softw. Eng. J., 1991

Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue).

Peter A. Freeman, Marie-Claude Gaudel

Commun. ACM, 1991

Advantages and limits of formal approaches for ultra-high dependability.

Marie-Claude Gaudel

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

A Formal Approach to Software Testing.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.

Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin

Sci. Comput. Program., 1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.

Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein

Proceedings of the Algebraic Methods II: Theory, 1989

1988

A Theory of Software Reusability.

Marie-Claude Gaudel, Th. Moineau

Proceedings of the ESOP '88, 1988

1987

How to Make Algebraic Specifications More Understandable?.

Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin

Proceedings of the Algebraic Methods: Theory, 1987

1986

Test sets generation from algebraic specifications using logic programming.

Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel

J. Syst. Softw., 1986

Automation in Software Development (Panel).

Marie-Claude Gaudel

Proceedings of the Information Processing 86, 1986

Logic Programming and Automatization of Software Test Strategies.

Marie-Claude Gaudel

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985

Application of Prolog to Test Sets Generation from Algebraic Specifications.

Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Exception Handling: Formal Specification and Systematic Program Construction.

Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho

Proceedings of the Proceedings, 1984

1982

Correctness Proof of Programming Language Translations.

Marie-Claude Gaudel

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Compiler Generation from Formal Definition of Programming Languages: A Survey.

Marie-Claude Gaudel

Proceedings of the Formalization of Programming Concepts, 1981

1980

Specification of compilers as abstract data type representations.

Marie-Claude Gaudel

Proceedings of the Semantics-Directed Compiler Generation, 1980

1977

A Formal Approach to Translator Specification.

Marie-Claude Gaudel

Proceedings of the Information Processing, 1977