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