Marie-Claude Gaudel

According to our database1, Marie-Claude Gaudel
  • authored at least 70 papers between 1977 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Formal mutation testing for Circus.
Information & Software Technology, 2017

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

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

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

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

2013
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

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

Isabelle/Circus.
Archive of Formal Proofs, 2012

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

2011
Editorial.
Formal Asp. Comput., 2011

Testing for refinement in Circus.
Acta Inf., 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

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

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

2008
Coverage-biased Random Exploration of Models.
Electr. Notes Theor. Comput. Sci., 2008

Testing data types implementations from algebraic specifications
CoRR, 2008

A Note on Traces Refinement and the conf 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

2007
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

2006
Uniform Random Sampling of Traces in Very Large Models
CoRR, 2006

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

2005
The atomic manifesto: a story in four quarks.
Operating Systems Review, 2005

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

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

2004
Problems and Methods for Testing Infinite State Machines: Extended Abstract.
Electr. Notes Theor. Comput. Sci., 2004

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

The Atomic Manifesto: a Story in Four Quarks.
Proceedings of the Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004

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

2001
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

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

Development of an Atomic-Broadcast Protocol Using LOTOS.
Softw., Pract. Exper., 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

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

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

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

1995
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

1994
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

1993
Using algebraic specifications in software testing: A case study on the software of an automatic subway.
Journal of Systems and Software, 1993

1992
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

1991
Software testing based on formal specifications: a theory and a tool.
Software Engineering Journal, 1991

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

A Formal Approach to Software Testing.
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.
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

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

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

1986
Test sets generation from algebraic specifications using logic programming.
Journal of Systems and Software, 1986

Automation in Software Development (Panel).
IFIP Congress, 1986

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

1985
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

1984
Exception Handling: Formal Specification and Systematic Program Construction.
Proceedings of the Proceedings, 1984

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

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

1977
A Formal Approach to Translator Specification.
IFIP Congress, 1977


  Loading...