 | 2008 |
|---|
| 7 |       | 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 |
|---|
| 6 | | Nicolas Baskiotis,
Michèle Sebag,
Marie-Claude Gaudel,
Sandrine-Dominique Gouraud:
A Machine Learning Approach for Statistical Software Testing.
IJCAI 2007: 2274-2279 |
| 2006 |
|---|
| 5 | | Sandrine-Dominique Gouraud,
Arnaud Gotlieb:
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.
PADL 2006: 1-15 |
| 4 | | 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 |
| 3 | | 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) |
| 2004 |
|---|
| 2 | | Alain Denise,
Marie-Claude Gaudel,
Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing.
ISSRE 2004: 25-34 |
| 2001 |
|---|
| 1 | | Sandrine-Dominique Gouraud,
Alain Denise,
Marie-Claude Gaudel,
B. Marr:
A New Way of Automating Statistical Testing Methods.
ASE 2001: 5-12 |
