| 2007 |
|---|
| 4 | EE | Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Refinement Testing.
TAP 2007: 131-148 |
| 2006 |
|---|
| 3 | EE | Benoit Baudry,
David Hearnden,
Nicolas Rapin,
Jörn Guy Süß:
Report on the 3rd MoDeVa Workshop - Model Design and Validation.
MoDELS Workshops 2006: 179-181 |
| 2 | EE | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2003 |
|---|
| 1 | EE | Céline Bigot,
Alain Faivre,
Jean-Pierre Gallois,
Arnault Lapitre,
David Lugato,
Jean-Yves Pierron,
Nicolas Rapin:
Automatic Test Generation with AGATHA.
TACAS 2003: 591-596 |
