| 2008 |
|---|
| 8 | EE | Alain Faivre,
Christophe Gaston,
Pascale Le Gall,
Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement.
TestCom/FATES 2008: 184-199 |
| 2007 |
|---|
| 7 | EE | Benoit Baudry,
Alain Faivre,
Sudipto Ghosh,
Alexander Pretschner:
4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.
MoDELS Workshops 2007: 145-150 |
| 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 |
| 2004 |
|---|
| 4 | | Karim Berkani,
Catherine Dubois,
Alain Faivre,
Jérôme Falampin:
Validation des règles de base de l'Atelier B.
Technique et Science Informatiques 23(7): 855-878 (2004) |
| 2003 |
|---|
| 3 | 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 |
| 1999 |
|---|
| 2 | EE | Patrick Behm,
Paul Benoit,
Alain Faivre,
Jean-Marc Meynadier:
Météor: A Successful Application of B in a Large Project.
World Congress on Formal Methods 1999: 369-387 |
| 1993 |
|---|
| 1 | | Jeremy Dick,
Alain Faivre:
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.
FME 1993: 268-284 |
