Dagstuhl Seminar Organizer Authors (2009)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
SoftwareTesting with Active Learning in a Graph (2009)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude
Motivated by Structural Statistical Software Testing (SSST), this paper is interested in sampling the feasible execution paths in the control flow graph of the program being tested. For some complex...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Testing data types implementations from algebraic specifications (2008)
Gaudel, Marie-Claude, Gall, Pascale Le
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes...
Testing for Refinement in CSP (2008)
Paris Sud, Ana Cavalcanti, Marie-claude Gaudel
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective tool have encouraged...
Dagstuhl Seminar (Organizer Authors) (2008)
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
Abstract: This paper is a manifesto for future research on “atomicity ” in its many guises and is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day workshop on "Atomicity in Sys-tem Design and Execution " that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32...
Dagstuhl Seminar Organizer Authors (2008)
Cliff Jones, David Lomet, Er Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
This paper is based on a five-day ~orlishop on "At,omicity in System Design and Execution " that t,oolt place in Schloss Dagstuhl in Germany (5) in April 2004 alicl was attended by...
Testing data types implementations from algebraic specifications (2008)
Gaudel, Marie-Claude, Le Gall, Pascale
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes...
Testing data types implementations from algebraic specifications (2008)
Gaudel, Marie-Claude, Le Gall, Pascale
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes...
COVERAGE-BIASED RANDOM EXPLORATION OF LARGE MODELS AND APPLICATION TO TESTING (2008)
Alain Denise, Marie-claude Gaudel, Rine-dominique Gouraud, Johan Oudinet, Sylvain Peyronnet
91405 ORSAY Cedex (France) Coverage-biased random exploration of large models and application to testing
A Machine Learning approach for Statistical Software Testing (2007)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude, Gouraud, Sandrine
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible paths. This paper...
Testing for Refinement in CSP (2007)
Cavalcanti, Ana, Gaudel, Marie-Claude
CSP is a well-established formalism for modelling and verifi- cation of concurrent reactive systems based on refinement. Consolidated denotational models and an effective tool have encouraged much...
Testing for Refinement in CSP (2007)
Cavalcanti, Ana, Gaudel, Marie-Claude
CSP is a well-established formalism for modelling and verifi- cation of concurrent reactive systems based on refinement. Consolidated denotational models and an effective tool have encouraged much...
EXIST : Exploitation/Exploration Inference for Statistical Software Testing (2006)
Baskiotis, Nicolas, Sebag, Michele, Gaudel, Marie-Claude, Gouraud, Sandrine
Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ratio of feasible paths becomes negligible for large...
Uniform Random Sampling of Traces in Very Large Models (2006)
Denise, Alain, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique, Lasseigne, Richard, Peyronnet, Sylvain, Collaboration, The RaST
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a...
Uniform Random Sampling of Traces in Very Large Models (2006)
Denise, Alain, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique, Lasseigne, Richard, Peyronnet, Sylvain
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a...
Uniform Random Sampling of Traces in Very Large Models (2006)
Denise, Alain, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique, Lasseigne, Richard, Peyronnet, Sylvain
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a...
Uniform Random Sampling of Traces in Very Large Models (2006)
Denise, Alain, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique, Lasseigne, Richard, Peyronnet, Sylvain
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a...
A Machine Learning approach for Statistical Software Testing (2006)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible paths. This paper...
A Machine Learning approach for Statistical Software Testing (2006)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible paths. This paper...
EXIST: Exploitation/Exploration Inference for Statistical Software Testing (2006)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique
Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ration of feasible paths becomes negligible for...
EXIST: Exploitation/Exploration Inference for Statistical Software Testing (2006)
Baskiotis, Nicolas, Sebag, Michèle, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique
Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ration of feasible paths becomes negligible for...
Uniform Random Sampling of Traces in Very Large Models (2006)
Denise, Alain, Gaudel, Marie-Claude, Gouraud, Sandrine-Dominique, Lasseigne, Richard, Peyronnet, Sylvain
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a...
EXIST: Exploitation/Exploration Inference for Statistical Software Testing (2006)
Nicolas Baskiotis, Michèle Sebag, Marie-claude Gaudel, Rine Gouraud
Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ratio of feasible paths becomes negligible for large...
Dagstuhl Seminar Organizer Authors (2005)
Cliff Jones, David Lomet, Er Romanovsky, Alan Fekete, Marie-claude Gaudel, Henry F, ...
Copyright c○2004 University of Newcastle upon Tyne
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2004)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific...
Testing processes from formal specifications with inputs, outputs and data types (2002)
Grgory Lestiennes, Marie-claude Gaudel
Deriving test cases from formal specifications of communicating processes has been studied for a while. Several methods have been proposed for specifications based on FSM (Finite State Machines), LTS...
From Requirements to Tests via Object-Oriented Design (1998)
Barbey, Stéphane, Buchs, Didier, Gaudel, Marie-Claude, Marre, Bruno, Péraire, Cécile, Thévenod-Fosse, Pascale, ...
This paper studies testing in an object-oriented (OO) development process. It is based on the production cell case study. A control program for the production cell has been developed using both the...
From requirements to tests via object-oriented design (1998)
Stéphane Barbey, Didier Buchs, Marie-claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-fosse, ...
Abstract: This paper studies testing in an object-oriented (OO) development process. It is based on the production cell case study. A control program for the production cell has been developed using...
A especificação formal e o teste de um protocolo de comunicação de grupo / (1997)
James, Perry Roland., Endler, Markus., Gaudel, Marie-Claude.
Dissertação (Mestrado)--Instituto de Matemática e Estatística da Universidade de São Paulo, 03/10/97.
Comparison of Object-Oriented Formal Methods (1997)
Guelfi, Nicolas, Biberstein, Olivier, Buchs, Didier, Canver, E., Gaudel, Marie-Claude, Von Henke, F., ...
Testing can be formal, too (1995)
Abstract. The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the basis for a notion of an exhaustive test set. Under some...
Comparison of Object-Oriented Formal Methods
Nicolas Guelfi, Olivier Biberstein, Didier Buchs, Ercüment Canver, Marie-Claude Gaudel, Friedrich Von Henke, ...
this document is the classification and comparison of object-oriented formalisms for assessing their suitability within DeVa. Numerous object-oriented formal specification languages are under...