| 2008 |
|---|
| 4 | EE | Alain Faivre,
Christophe Gaston,
Pascale Le Gall,
Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement.
TestCom/FATES 2008: 184-199 |
| 2007 |
|---|
| 3 | EE | Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Refinement Testing.
TAP 2007: 131-148 |
| 2006 |
|---|
| 2 | EE | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2005 |
|---|
| 1 | EE | Marc Aiguier,
Pascale Le Gall,
Delphine Longuet,
Assia Touil:
A Temporal Logic for Input Output Symbolic Transition Systems.
APSEC 2005: 43-50 |
