Marie-Claude Gaudel

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

Collaborative distances:



In proceedings 
PhD thesis 




"Testing Can Be Formal Too": 30 Years Later.
Proceedings of the French School of Programming, 2024

Formal Specifications and Software Testing, a Fruitful Convergence.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Special section of Tests and Proofs 2016.
Formal Aspects Comput., 2018

Formal mutation testing for Circus.
Inf. Softw. Technol., 2017

Formal methods for software testing (invited paper).
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Test selection for traces refinement.
Theor. Comput. Sci., 2015

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.
Int. J. Softw. Informatics, 2015

Data Flow Coverage for Circus-Based Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

A new dichotomic algorithm for the uniform random generation of words in regular languages.
Theor. Comput. Sci., 2013

Some approximations in Model Checking and Testing
CoRR, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.
Proceedings of the Formal Methods and Software Engineering, 2013

Coverage-biased random exploration of large models and application to testing.
Int. J. Softw. Tools Technol. Transf., 2012

Arch. Formal Proofs, 2012

Isabelle/Circus: A Process Specification and Verification Environment.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Formal Aspects Comput., 2011

Testing for refinement in <i>Circus</i>.
Acta Informatica, 2011

Checking Models, Proving Programs, and Testing Systems.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

Counting for Random Testing.
Proceedings of the Testing Software and Systems, 2011

Conformance Relations for Distributed Testing Based on CSP.
Proceedings of the Testing Software and Systems, 2011

Uniform Monte-Carlo Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Unifying Theories in Isabelle/HOL.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Specification Coverage for Testing in <i>Circus</i>.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Coverage-biased Random Exploration of Models.
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.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Testing Data Types Implementations from Algebraic Specifications.
Proceedings of the Formal Methods and Testing, 2008

SoftwareTesting with Active Learning in a Graph.
Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

Software Testing Based on Formal Specification.
Proceedings of the Testing Techniques in Software Engineering, 2007

A Machine Learning Approach for Statistical Software Testing.
Proceedings of the IJCAI 2007, 2007

Testing for Refinement in CSP.
Proceedings of the Formal Methods and Software Engineering, 2007

Uniform random sampling of traces in very large models.
Proceedings of the 1st International Workshop on Random Testing, 2006

The atomic manifesto: a story in four quarks.
SIGMOD Rec., 2005

Formal Methods and Testing: Hypotheses, and Correctness Approximations.
Proceedings of the FM 2005: Formal Methods, 2005

A Generic Method for Statistical Testing.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Toward Undoing in Composite Web Services.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Problems and Methods for Testing Infinite State Machines: Extended Abstract.
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

A New Way of Automating Statistical Testing Methods.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Testing from Formal Specifications, a Generic Approach.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

The Role of Formal Specifications.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Development of an Atomic-Broadcast Protocol Using LOTOS.
Softw. Pract. Exp., 1999

Dynamic Systems with Implicit State.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Imperative Specifications.
Proceedings of the Perspectives of System Informatics, 1999

Testing Algebraic Data Types and Processes: A Unifying Theory.
Formal Aspects Comput., 1998

Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs.
Proceedings of the Digest of Papers: FTCS-28, 1998

A Proposal for a Glass-Box Approach for Subsumption Checking.
Proceedings of the 1996 International Workshop on Description Logics, 1996

Testing Can Be Formal, Too.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Formal Specification Techniques for Interactive Systems.
Proceedings of the Design, 1995

A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State.
Proceedings of the Formal Methods for Industrial Applications, 1995

Foreword: Selected Papers of TAPSOFT'93.
Sci. Comput. Program., 1994

Formal Specification Techniques (Extended Abstract).
Proceedings of the 16th International Conference on Software Engineering, 1994

Using algebraic specifications in software testing: A case study on the software of an automatic subway.
J. Syst. Softw., 1993

Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives.
Proceedings of the STACS 92, 1992

Test Selection Based on ADT Specifications.
Proceedings of the Protocol Test Systems, V, 1992

Software testing based on formal specifications: a theory and a tool.
Softw. Eng. J., 1991

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

Advantages and limits of formal approaches for ultra-high dependability.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991

A Formal Approach to Software Testing.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.
Sci. Comput. Program., 1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
Proceedings of the Algebraic Methods II: Theory, 1989

A Theory of Software Reusability.
Proceedings of the ESOP '88, 1988

How to Make Algebraic Specifications More Understandable?.
Proceedings of the Algebraic Methods: Theory, 1987

Test sets generation from algebraic specifications using logic programming.
J. Syst. Softw., 1986

Automation in Software Development (Panel).
Proceedings of the Information Processing 86, 1986

Logic Programming and Automatization of Software Test Strategies.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

Exception Handling: Formal Specification and Systematic Program Construction.
IEEE Trans. Software Eng., 1985

Application of Prolog to Test Sets Generation from Algebraic Specifications.
Proceedings of the Mathematical Foundations of Software Development, 1985

Correctness Proof of Programming Language Translations.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Compiler Generation from Formal Definition of Programming Languages: A Survey.
Proceedings of the Formalization of Programming Concepts, 1981

Specification of compilers as abstract data type representations.
Proceedings of the Semantics-Directed Compiler Generation, 1980

A Formal Approach to Translator Specification.
Proceedings of the Information Processing, 1977