Marie-Claude Gaudel

Publication Activity (10 Years)

Years Active: 1977-2019
Publications (10 Years): 7

Top Topics

Software Testing

Top Venues

Theor. Comput. Sci.

Inf. Softw. Technol.

Formal Aspects Comput.

Publications

Marie-Claude Gaudel
Formal Specifications and Software Testing, a Fruitful Convergence. FM Workshops (2) (2019)
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30 (6) (2018)
Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
Formal mutation testing for Circus. Inf. Softw. Technol. 81 (2017)
Marie-Claude Gaudel
Formal methods for software testing (invited paper). TASE (2017)
Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS (2016)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9 (2) (2015)
Ana Cavalcanti, Marie-Claude Gaudel
Test selection for traces refinement. Theor. Comput. Sci. 563 (2015)
Ana Cavalcanti, Marie-Claude Gaudel
Data Flow Coverage for Circus-Based Testing. FASE (2014)
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM (2013)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel
A new dichotomic algorithm for the uniform random generation of words in regular languages. Theor. Comput. Sci. 502 (2013)
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont
Some approximations in Model Checking and Testing CoRR (2013)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE (2012)
Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel
Isabelle/Circus. Arch. Formal Proofs 2012 (2012)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Marie-Claude Gaudel
Counting for Random Testing. ICTSS (2011)
Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel
Editorial. Formal Aspects Comput. 23 (6) (2011)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
Uniform Monte-Carlo Model Checking. FASE (2011)
Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
Conformance Relations for Distributed Testing Based on CSP. ICTSS (2011)
Ana Cavalcanti, Marie-Claude Gaudel
. Acta Informatica 48 (2) (2011)
Marie-Claude Gaudel
Checking Models, Proving Programs, and Testing Systems. TAP@TOOLS (2011)
Ana Cavalcanti, Marie-Claude Gaudel
. UTP (2010)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Unifying Theories in Isabelle/HOL. UTP (2010)
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased Random Exploration of Models. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Ana Cavalcanti, Marie-Claude Gaudel
Relation in the Unifying Theories of Programming. UTP (2008)
Marie-Claude Gaudel, Pascale Le Gall
Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing (2008)
Marie-Claude Gaudel, Pascale Le Gall
Testing data types implementations from algebraic specifications CoRR (2008)
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel
SoftwareTesting with Active Learning in a Graph. Evolutionary Test Generation (2008)
Marie-Claude Gaudel
Software Testing Based on Formal Specification. PSSE (2007)
Ana Cavalcanti, Marie-Claude Gaudel
Testing for Refinement in CSP. ICFEM (2007)
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
A Machine Learning Approach for Statistical Software Testing. IJCAI (2007)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform random sampling of traces in very large models. Random Testing (2006)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform Random Sampling of Traces in Very Large Models CoRR (2006)
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
The atomic manifesto: a story in four quarks. SIGMOD Rec. 34 (1) (2005)
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
The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 39 (2) (2005)
Marie-Claude Gaudel
Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM (2005)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
A Generic Method for Statistical Testing. ISSRE (2004)
Marie-Claude Gaudel
Problems and Methods for Testing Infinite State Machines: Extended Abstract. Electron. Notes Theor. Comput. Sci. 95 (2004)
Marie-Claude Gaudel
Toward Undoing in Composite Web Services. WADS (2004)
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
The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution (2004)
Grégory Lestiennes, Marie-Claude Gaudel
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE (2002)
Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr
A New Way of Automating Statistical Testing Methods. ASE (2001)
Marie-Claude Gaudel
Testing from Formal Specifications, a Generic Approach. Ada-Europe (2001)
Perry R. James, Markus Endler, Marie-Claude Gaudel
Development of an Atomic-Broadcast Protocol Using LOTOS. Softw. Pract. Exp. 29 (8) (1999)
Marie-Claude Gaudel, Alexandre V. Zamulin
Algebraic Imperative Specifications. Ershov Memorial Conference (1999)
Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
Dynamic Systems with Implicit State. FASE (1999)
Antonio Galves, Marie-Claude Gaudel
Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS (1998)
Marie-Claude Gaudel, Perry R. James
Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. 10 (5-6) (1998)
Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel
A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics (1996)
Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications (1995)
Marie-Claude Gaudel
Testing Can Be Formal, Too. TAPSOFT (1995)
Marie-Claude Gaudel
Formal Specification Techniques for Interactive Systems. DSV-IS (1995)
Marie-Claude Gaudel
Formal Specification Techniques (Extended Abstract). ICSE (1994)
Marie-Claude Gaudel
Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23 (2-3) (1994)
Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre
Using algebraic specifications in software testing: A case study on the software of an automatic subway. J. Syst. Softw. 21 (3) (1993)
Marie-Claude Gaudel
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS (1992)
Marie-Claude Gaudel
Test Selection Based on ADT Specifications. Protocol Test Systems (1992)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6 (6) (1991)
Peter Freeman, Marie-Claude Gaudel
Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). Commun. ACM 34 (5) (1991)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
A Formal Approach to Software Testing. AMAST (1991)
Marie-Claude Gaudel
Advantages and limits of formal approaches for ultra-high dependability. IWSSD (1991)
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12 (1) (1989)
A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods (1989)
Marie-Claude Gaudel, Th. Moineau
A Theory of Software Reusability. ESOP (1988)
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable?. Algebraic Methods (1987)
Marie-Claude Gaudel
Automation in Software Development (Panel). IFIP Congress (1986)
Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6 (4) (1986)
Marie-Claude Gaudel
Logic Programming and Automatization of Software Test Strategies. AIMSA (1986)
Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 (1985)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11 (3) (1985)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. ICSE (1984)
Marie-Claude Gaudel
Correctness Proof of Programming Language Translations. Formal Description of Programming Concepts (1982)
Marie-Claude Gaudel
Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC (1981)
Marie-Claude Gaudel
Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation (1980)
Marie-Claude Gaudel
A Formal Approach to Translator Specification. IFIP Congress (1977)