Search the dblp DataBase

Publications of Author

1. Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
   Automatic Test Generation on a (U)SIM Smart Card. [Citation Graph (0, 0)][DBLP]
   CARDIS, 2006, pp:345-358 [Conf]
   
2. Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
   Météor: A Successful Application of B in a Large Project. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:369-387 [Conf]
   
3. Jeremy Dick, Alain Faivre
   Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. [Citation Graph (0, 0)][DBLP]
   FME, 1993, pp:268-284 [Conf]
   
4. Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
   Automatic Test Generation with AGATHA. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:591-596 [Conf]
   
5. Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin
   Validation des règles de base de l'Atelier B. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:855-878 [Journal]
   
6. Alain Faivre, Christophe Gaston, Pascale Le Gall
   Symbolic Model Based Testing for Component Oriented Systems. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:90-106 [Conf]
   
7. 
   4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. [Citation Graph (, )][DBLP]
   
   
8. 
   Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]