2008 |
47 | EE | Marie-Claude Gaudel,
Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications.
Formal Methods and Testing 2008: 209-239 |
46 | EE | Marie-Claude Gaudel,
Pascale Le Gall:
Testing data types implementations from algebraic specifications
CoRR abs/0804.0970: (2008) |
45 | EE | 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 | EE | Ana Cavalcanti,
Marie-Claude Gaudel:
Testing for Refinement in CSP.
ICFEM 2007: 151-170 |
43 | EE | 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 | EE | 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 | EE | 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 | EE | Marie-Claude Gaudel:
Formal Methods and Testing: Hypotheses, and Correctness Approximations.
FM 2005: 2-8 |
39 | EE | 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 | EE | 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 | EE | Alain Denise,
Marie-Claude Gaudel,
Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing.
ISSRE 2004: 25-34 |
36 | EE | Marie-Claude Gaudel:
Toward Undoing in Composite Web Services.
WADS 2004: 59-68 |
35 | EE | Marie-Claude Gaudel:
Problems and Methods for Testing Infinite State Machines: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 95: 53-62 (2004) |
2002 |
34 | EE | Grégory Lestiennes,
Marie-Claude Gaudel:
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.
ISSRE 2002: 3-14 |
2001 |
33 | EE | Sandrine-Dominique Gouraud,
Alain Denise,
Marie-Claude Gaudel,
B. Marr:
A New Way of Automating Statistical Testing Methods.
ASE 2001: 5-12 |
32 | EE | Marie-Claude Gaudel:
Testing from Formal Specifications, a Generic Approach.
Ada-Europe 2001: 35-48 |
1999 |
31 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |