 | 2008 |
|---|
| 47 |       | Marie-Claude Gaudel,
Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications.
Formal Methods and Testing 2008: 209-239 |
| 46 | | Marie-Claude Gaudel,
Pascale Le Gall:
Testing data types implementations from algebraic specifications
CoRR abs/0804.0970: (2008) |
| 45 | | 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. 220(1): 3-14 (2008) |
| 2007 |
|---|
| 44 | | Ana Cavalcanti,
Marie-Claude Gaudel:
Testing for Refinement in CSP.
ICFEM 2007: 151-170 |
| 43 | | Nicolas Baskiotis,
Michèle Sebag,
Marie-Claude Gaudel,
Sandrine-Dominique Gouraud:
A Machine Learning Approach for Statistical Software Testing.
IJCAI 2007: 2274-2279 |
| 2006 |
|---|
| 42 | | 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 |
| 41 | | 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 |
|---|
| 40 | | Marie-Claude Gaudel:
Formal Methods and Testing: Hypotheses, and Correctness Approximations.
FM 2005: 2-8 |
| 39 | | 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 39(2): 41-46 (2005) |
| 38 | | 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 34(1): 63-69 (2005) |
| 2004 |
|---|
| 37 | | Alain Denise,
Marie-Claude Gaudel,
Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing.
ISSRE 2004: 25-34 |
| 36 | | Marie-Claude Gaudel:
Toward Undoing in Composite Web Services.
WADS 2004: 59-68 |
| 35 | | Marie-Claude Gaudel:
Problems and Methods for Testing Infinite State Machines: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 95: 53-62 (2004) |
| 2002 |
|---|
| 34 | | Grégory Lestiennes,
Marie-Claude Gaudel:
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.
ISSRE 2002: 3-14 |
| 2001 |
|---|
| 33 | | Sandrine-Dominique Gouraud,
Alain Denise,
Marie-Claude Gaudel,
B. Marr:
A New Way of Automating Statistical Testing Methods.
ASE 2001: 5-12 |
| 32 | | Marie-Claude Gaudel:
Testing from Formal Specifications, a Generic Approach.
Ada-Europe 2001: 35-48 |
| 1999 |
|---|
| 31 | | Marie-Claude Gaudel,
Alexandre V. Zamulin:
Algebraic Imperative Specifications.
Ershov Memorial Conference 1999: 17-39 |
| 30 |  | Marie-Claude Gaudel,
Carole Khoury,
Alexandre V. Zamulin:
Dynamic Systems with Implicit State.
FASE 1999: 114-128 |
| 29 | | Perry R. James,
Markus Endler,
Marie-Claude Gaudel:
Development of an Atomic-Broadcast Protocol Using LOTOS.
Softw., Pract. Exper. 29(8): 699-719 (1999) |
| 1998 |
|---|
| 28 | | A. Galves,
Marie-Claude Gaudel:
Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs.
FTCS 1998: 324-333 |
| 27 | | Marie-Claude Gaudel,
Perry R. James:
Testing Algebraic Data Types and Processes: A Unifying Theory.
Formal Asp. Comput. 10(5-6): 436-451 (1998) |
| 1996 |
|---|
| 26 | | 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
Springer 1996 |
| 25 | | Quentin Elhaik,
Marie-Christine Rousset,
Marie-Claude Gaudel:
A Proposal for a Glass-Box Approach for Subsumption Checking.
Description Logics 1996: 111-115 |
| 1995 |
|---|
| 24 | | Marie-Claude Gaudel:
Formal Specification Techniques for Interactive Systems.
DSV-IS 1995: 21-26 |
| 23 | | 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 |
| 22 | | Marie-Claude Gaudel:
Testing Can Be Formal, Too.
TAPSOFT 1995: 82-96 |
| 1994 |
|---|
| 21 | | Marie-Claude Gaudel:
Formal Specification Techniques (Extended Abstract).
ICSE 1994: 223-227 |
| 20 | | Marie-Claude Gaudel:
Foreword: Selected Papers of TAPSOFT'93.
Sci. Comput. Program. 23(2-3): 105 (1994) |
| 1993 |
|---|
| 19 | | 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
Springer 1993 |
| 18 | | 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 21(3): 229-244 (1993) |
| 1992 |
|---|
| 17 | | Marie-Claude Gaudel:
Test Selection Based on ADT Specifications.
Protocol Test Systems 1992: 31-40 |
| 16 | | Marie-Claude Gaudel:
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives.
STACS 1992: 3-18 |
| 1991 |
|---|
| 15 | | Gilles Bernot,
Marie-Claude Gaudel,
Bruno Marre:
A Formal Approach to Software Testing.
AMAST 1991: 243-253 |
| 14 | | 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) |
| 1989 |
|---|
| 13 | | 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: 395-431 |
| 12 | | 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): 1-38 (1989) |
| 1988 |
|---|
| 11 | | Marie-Claude Gaudel,
Th. Moineau:
A Theory of Software Reusability.
ESOP 1988: 115-130 |
| 1987 |
|---|
| 10 | | Michel Bidoit,
Marie-Claude Gaudel,
A. Mauboussin:
How to Make Algebraic Specifications More Understandable?.
Algebraic Methods 1987: 31-67 |
| 1986 |
|---|
| 9 | | Marie-Claude Gaudel:
Logic Programming and Automatization of Software Test Strategies.
AIMSA 1986: 39-45 |
| 8 | | Marie-Claude Gaudel:
Automation in Software Development (Panel).
IFIP Congress 1986: 173-174 |
| 7 | | Luc Bougé,
N. Choquet,
Laurent Fribourg,
Marie-Claude Gaudel:
Test sets generation from algebraic specifications using logic programming.
Journal of Systems and Software 6(4): 343-360 (1986) |
| 1985 |
|---|
| 6 | | 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 |
| 5 | | 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) |
| 1984 |
|---|
| 4 | | 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 |
| 1981 |
|---|
| 3 | | Marie-Claude Gaudel:
Compiler Generation from Formal Definition of Programming Languages: A Survey.
ICFPC 1981: 96-114 |
| 1980 |
|---|
| 2 | | Marie-Claude Gaudel:
Specification of compilers as abstract data type representations.
Semantics-Directed Compiler Generation 1980: 140-164 |
| 1977 |
|---|
| 1 | | Marie-Claude Gaudel:
A Formal Approach to Translator Specification.
IFIP Congress 1977: 123-127 |
