| 2008 |
|---|
| 7 | EE | Alain Faivre,
Christophe Gaston,
Pascale Le Gall,
Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement.
TestCom/FATES 2008: 184-199 |
| 2007 |
|---|
| 6 | EE | Alain Faivre,
Christophe Gaston,
Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems.
TestCom/FATES 2007: 90-106 |
| 2006 |
|---|
| 5 | EE | Céline Bigot,
Alain Faivre,
Christophe Gaston,
Julien Simon:
Automatic Test Generation on a (U)SIM Smart Card.
CARDIS 2006: 345-358 |
| 4 | EE | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2005 |
|---|
| 3 | EE | Benoit Baudry,
Christophe Gaston,
Sudipto Ghosh:
Report on the 2nd Workshop on Model Development and Validation - MoDeVa.
MoDELS Satellite Events 2005: 32-38 |
| 2004 |
|---|
| 2 | EE | Christophe Gaston,
Dirk Seifert:
Evaluating Coverage Based Testing.
Model-Based Testing of Reactive Systems 2004: 293-322 |
| 2002 |
|---|
| 1 | EE | Marc Aiguier,
Christophe Gaston,
Pascale Le Gall:
Feature Logics and Refinement.
APSEC 2002: 385- |
