Alain Faivre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1993–2007
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | MODELS | 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. | Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner |
| 2006 | CARDIS | Automatic Test Generation on a (U)SIM Smart Card. | Cline Bigot, Alain Faivre, Christophe Gaston, Julien Simon |
| 2003 | TACAS | Automatic Test Generation with AGATHA. | Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |
| 1999 | FM | Mtor: A Successful Application of B in a Large Project. | Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier |
| 1993 | FM | Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. | Jeremy Dick, Alain Faivre |