default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarie-Claude Gaudel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[p2]Marie-Claude Gaudel:
"Testing Can Be Formal Too": 30 Years Later. The French School of Programming 2024: 17-45
2010 – 2019
- 2019
- [c49]Marie-Claude Gaudel:
Formal Specifications and Software Testing, a Fruitful Convergence. FM Workshops (2) 2019: 87-94 - 2018
- [j20]Bernhard K. Aichernig
, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - 2017
- [j19]Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão:
Formal mutation testing for Circus. Inf. Softw. Technol. 81: 131-153 (2017) - [c48]Marie-Claude Gaudel:
Formal methods for software testing (invited paper). TASE 2017: 1-3 - 2016
- [c47]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: 144-151 - 2015
- [j18]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9(2): 177-203 (2015) - [j17]Ana Cavalcanti, Marie-Claude Gaudel:
Test selection for traces refinement. Theor. Comput. Sci. 563: 1-42 (2015) - 2014
- [c46]Ana Cavalcanti, Marie-Claude Gaudel:
Data Flow Coverage for Circus-Based Testing. FASE 2014: 415-429 - 2013
- [j16]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: 165-176 (2013) - [c45]Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM 2013: 131-147 - [e5]Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi:
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6 [contents] - [i5]Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont:
Some approximations in Model Checking and Testing. CoRR abs/1304.5199 (2013) - 2012
- [j15]Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel:
Isabelle/Circus. Arch. Formal Proofs 2012 (2012) - [j14]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): 73-93 (2012) - [c44]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260 - 2011
- [j13]Ana Cavalcanti, Marie-Claude Gaudel:
Testing for refinement in Circus. Acta Informatica 48(2): 97-147 (2011) - [j12]Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel:
Editorial. Formal Aspects Comput. 23(6): 681 (2011) - [c43]Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet:
Uniform Monte-Carlo Model Checking. FASE 2011: 127-140 - [c42]Marie-Claude Gaudel:
Counting for Random Testing. ICTSS 2011: 1-8 - [c41]Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons:
Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63 - [c40]Marie-Claude Gaudel:
Checking Models, Proving Programs, and Testing Systems. TAP@TOOLS 2011: 1-13 - 2010
- [c39]Ana Cavalcanti, Marie-Claude Gaudel:
Specification Coverage for Testing in Circus. UTP 2010: 1-45 - [c38]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Unifying Theories in Isabelle/HOL. UTP 2010: 188-206 - [e4]Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, ISBN 978-3-642-14807-1 [contents]
2000 – 2009
- 2008
- [c37]Marie-Claude Gaudel, Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239 - [c36]Ana Cavalcanti, Marie-Claude Gaudel:
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61 - [c35]Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. MBT@ETAPS 2008: 3-14 - [i4]Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel:
SoftwareTesting with Active Learning in a Graph. Evolutionary Test Generation 2008 - [i3]Marie-Claude Gaudel, Pascale Le Gall:
Testing data types implementations from algebraic specifications. CoRR abs/0804.0970 (2008) - 2007
- [c34]Ana Cavalcanti, Marie-Claude Gaudel:
Testing for Refinement in CSP. ICFEM 2007: 151-170 - [c33]Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud:
A Machine Learning Approach for Statistical Software Testing. IJCAI 2007: 2274-2279 - [c32]Marie-Claude Gaudel:
Software Testing Based on Formal Specification. PSSE 2007: 215-242 - 2006
- [c31]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet:
Uniform random sampling of traces in very large models. Random Testing 2006: 10-19 - [i2]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet:
Uniform Random Sampling of Traces in Very Large Models. CoRR abs/cs/0606086 (2006) - 2005
- [j11]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): 63-69 (2005) - [j10]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): 41-46 (2005) - [c30]Marie-Claude Gaudel:
Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM 2005: 2-8 - 2004
- [c29]Marie-Claude Gaudel:
Toward Undoing in Composite Web Services. WADS 2004: 59-68 - [c28]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing. ISSRE 2004: 25-34 - [i1]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 - 2003
- [c27]Marie-Claude Gaudel:
Problems and Methods for Testing Infinite State Machines: Extended Abstract. WMF 2003: 53-62 - 2002
- [c26]Grégory Lestiennes, Marie-Claude Gaudel:
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE 2002: 3-14 - 2001
- [c25]Marie-Claude Gaudel:
Testing from Formal Specifications, a Generic Approach. Ada-Europe 2001: 35-48 - [c24]Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr:
A New Way of Automating Statistical Testing Methods. ASE 2001: 5-12
1990 – 1999
- 1999
- [j9]Perry R. James, Markus Endler, Marie-Claude Gaudel:
Development of an Atomic-Broadcast Protocol Using LOTOS. Softw. Pract. Exp. 29(8): 699-719 (1999) - [c23]Marie-Claude Gaudel, Alexandre V. Zamulin:
Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39 - [c22]Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State. FASE 1999: 114-128 - [p1]Marie-Claude Gaudel, Gilles Bernot:
The Role of Formal Specifications. Algebraic Foundations of Systems Specification 1999: 1-12 - 1998
- [j8]Marie-Claude Gaudel, Perry R. James:
Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. 10(5-6): 436-451 (1998) - [c21]Antonio Galves, Marie-Claude Gaudel:
Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS 1998: 324-333 - 1996
- [c20]Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel:
A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996: 111-115 - [e3]Marie-Claude Gaudel, Jim Woodcock:
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Lecture Notes in Computer Science 1051, Springer 1996, ISBN 3-540-60973-3 [contents] - 1995
- [c19]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: 233-264 - [c18]Marie-Claude Gaudel:
Formal Specification Techniques for Interactive Systems. DSV-IS 1995: 21-26 - [c17]Marie-Claude Gaudel:
Testing Can Be Formal, Too. TAPSOFT 1995: 82-96 - 1994
- [j7]Marie-Claude Gaudel:
Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. 23(2-3): 105 (1994) - [c16]Marie-Claude Gaudel:
Formal Specification Techniques (Extended Abstract). ICSE 1994: 223-227 - 1993
- [j6]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): 229-244 (1993) - [e2]Marie-Claude Gaudel, Jean-Pierre Jouannaud:
TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings. Lecture Notes in Computer Science 668, Springer 1993, ISBN 3-540-56610-4 [contents] - 1992
- [c15]Marie-Claude Gaudel:
Test Selection Based on ADT Specifications. Protocol Test Systems 1992: 31-40 - [c14]Marie-Claude Gaudel:
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS 1992: 3-18 - 1991
- [j5]Peter Freeman, Marie-Claude Gaudel:
Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). Commun. ACM 34(5): 30-33 (1991) - [j4]Gilles Bernot, Marie-Claude Gaudel, Bruno Marre:
Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6): 387-405 (1991) - [c13]Gilles Bernot, Marie-Claude Gaudel, Bruno Marre:
A Formal Approach to Software Testing. AMAST 1991: 243-253 - [c12]Marie-Claude Gaudel:
Advantages and limits of formal approaches for ultra-high dependability. IWSSD 1991: 237-241 - 1990
- [e1]François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel:
Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. IEEE Computer Society 1990, ISBN 0-8186-2026-9 [contents]
1980 – 1989
- 1989
- [j3]Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12(1): 1-38 (1989) - [c11]Anne 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: 395-431 - 1988
- [c10]Marie-Claude Gaudel, Th. Moineau:
A Theory of Software Reusability. ESOP 1988: 115-130 - 1987
- [c9]Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable?. Algebraic Methods 1987: 31-67 - 1986
- [j2]Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel:
Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6(4): 343-360 (1986) - [c8]Marie-Claude Gaudel:
Logic Programming and Automatization of Software Test Strategies. AIMSA 1986: 39-45 - [c7]Marie-Claude Gaudel:
Automation in Software Development (Panel). IFIP Congress 1986: 173-174 - 1985
- [j1]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): 242-252 (1985) - [c6]Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel:
Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 1985: 261-275 - 1984
- [c5]Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction. ICSE 1984: 18-29 - 1982
- [c4]Marie-Claude Gaudel:
Correctness Proof of Programming Language Translations. Formal Description of Programming Concepts 1982: 25-44 - 1981
- [c3]Marie-Claude Gaudel:
Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC 1981: 96-114 - 1980
- [c2]Marie-Claude Gaudel:
Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation 1980: 140-164
1970 – 1979
- 1977
- [c1]Marie-Claude Gaudel:
A Formal Approach to Translator Specification. IFIP Congress 1977: 123-127
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
