| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Isabelle/Circus: A Process Specification and Verification Environment. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel |
Editorial. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Testing for refinement in Circus. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Checking Models, Proving Programs, and Testing Systems. |
TAP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons |
Conformance Relations for Distributed Testing Based on CSP. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Counting for Random Testing. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
Uniform Monte-Carlo Model Checking. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (eds.) |
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Unifying Theories in Isabelle/HOL. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Specification Coverage for Testing in Circus. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet |
Coverage-biased Random Exploration of Models. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Pascale Le Gall |
Testing data types implementations from algebraic specifications |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Pascale Le Gall |
Testing Data Types Implementations from Algebraic Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Testing for Refinement in CSP. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
A Machine Learning Approach for Statistical Software Testing. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Software Testing Based on Formal Specification. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
Uniform Random Sampling of Traces in Very Large Models |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
Uniform random sampling of traces in very large models. |
Random Testing |
2006 |
DBLP DOI BibTeX RDF |
randomised approximation scheme, uniform generation, model checking, random walk, model-based testing, modular models |
| 1 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues |
The atomic manifesto: a story in four quarks. |
SIGMOD Record |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues |
The atomic manifesto: a story in four quarks. |
Operating Systems Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Formal Methods and Testing: Hypotheses, and Correctness Approximations. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Problems and Methods for Testing Infinite State Machines: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
A Generic Method for Statistical Testing. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Toward Undoing in Composite Web Services. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Lestiennes, Marie-Claude Gaudel |
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr |
A New Way of Automating Statistical Testing Methods. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
statistical and random testing, software testing, constraint solving, structural testing, combinatorial structures |
| 1 | Marie-Claude Gaudel |
Testing from Formal Specifications, a Generic Approach. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Perry R. James, Markus Endler, Marie-Claude Gaudel |
Development of an Atomic-Broadcast Protocol Using LOTOS. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Alexandre V. Zamulin |
Algebraic Imperative Specifications. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin |
Dynamic Systems with Implicit State. |
FASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Perry R. James |
Testing Algebraic Data Types and Processes: A Unifying Theory. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Full LOTOS, Black box testing, Formal testing |
| 1 | A. Galves, Marie-Claude Gaudel |
Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel |
A Proposal for a Glass-Box Approach for Subsumption Checking. |
Description Logics |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Jim Woodcock (eds.) |
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 |
FME |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Testing Can Be Formal, Too. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Formal Specification Techniques for Interactive Systems. |
DSV-IS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Foreword: Selected Papers of TAPSOFT'93. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Formal Specification Techniques (Extended Abstract). |
ICSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre |
Using algebraic specifications in software testing: A case study on the software of an automatic subway. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Jean-Pierre Jouannaud (eds.) |
TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings |
TAPSOFT |
1993 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Test Selection Based on ADT Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Freeman, Marie-Claude Gaudel |
Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). |
Commun. ACM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Bernot, Marie-Claude Gaudel, Bruno Marre |
A Formal Approach to Software Testing. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel (eds.) |
Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. |
ICSE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin |
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. |
Sci. Comput. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Th. Moineau |
A Theory of Software Reusability. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
Key-words reuse, PLUSS, formal specifications, modularity, abstract data types |
| 1 | Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin |
How to Make Algebraic Specifications More Understandable?. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel |
Test sets generation from algebraic specifications using logic programming. |
Journal of Systems and Software |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Automation in Software Development (Panel). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Logic Programming and Automatization of Software Test Strategies. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel |
Application of Prolog to Test Sets Generation from Algebraic Specifications. |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho |
Exception Handling: Formal Specification and Systematic Program Construction. |
ICSE |
1984 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Compiler Generation from Formal Definition of Programming Languages: A Survey. |
ICFPC |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Specification of compilers as abstract data type representations. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
A Formal Approach to Translator Specification. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")