Alain Faivre

According to our database, Alain Faivre authored at least 9 papers between 1993 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY.

Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

2008

Test Purpose Concretization through Symbolic Action Refinement.

Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Symbolic Model Based Testing for Component Oriented Systems.

Alain Faivre, Christophe Gaston, Pascale Le Gall

Proceedings of the Testing of Software and Communicating Systems, 2007

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.

Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

2006

Automatic Test Generation on a (U)SIM Smart Card.

Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon

Proceedings of the Smart Card Research and Advanced Applications, 2006

2004

Validation des règles de base de l'Atelier B.

Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin

Tech. Sci. Informatiques, 2004

2003

Automatic Test Generation with AGATHA.

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

1999

Météor: A Successful Application of B in a Large Project.

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier

Proceedings of the FM'99 - Formal Methods, 1999

1993

Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.

Jeremy Dick, Alain Faivre

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993