Marie-Claude Gaudel

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

Collaborative distances:

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

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

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

SIGMOD Rec., 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

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

Exception Handling: Formal Specification and Systematic Program Construction.

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

IEEE Trans. Software Eng., 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

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