dblp.uni-trier.dewww.uni-trier.de

Alain Faivre

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEAlain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
2007
7EEBenoit 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
6EEAlain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
2006
5EECé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
3EECé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
2EEPatrick 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

Coauthor Index

1Benoit Baudry [7]
2Patrick Behm [2]
3Paul Benoit [2]
4Karim Berkani [4]
5Céline Bigot [3] [5]
6Jeremy Dick [1]
7Catherine Dubois [4]
8Jérôme Falampin [4]
9Pascale Le Gall [6] [8]
10Jean-Pierre Gallois [3]
11Christophe Gaston [5] [6] [8]
12Sudipto Ghosh [7]
13Arnault Lapitre [3]
14David Lugato [3]
15Jean-Marc Meynadier [2]
16Jean-Yves Pierron [3]
17Alexander Pretschner [7]
18Nicolas Rapin [3]
19Julien Simon [5]
20Assia Touil [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)