A
Alain Faivre
Researcher at Matra
Publications - 7
Citations - 816
Alain Faivre is an academic researcher from Matra. The author has contributed to research in topics: Test case & Model-based testing. The author has an hindex of 5, co-authored 7 publications receiving 800 citations.
Papers
More filters
Book ChapterDOI
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
Jeremy Dick,Alain Faivre +1 more
TL;DR: In this paper, the authors present automatic techniques for partition analysis in state-based specifications, specifically VDM, which can be used to generate test cases, for sequencing the tests, or as an oracle in verifying the tests.
Book ChapterDOI
Météor: A Successful Application of B in a Large Project
TL;DR: The automatic train operating system for METEOR, the first driverless metro in the city of Paris, is designed to manage the traffic of the vehicles controlled automatically or manually, developed using the B formal method together with the Vital Coded Processor.
Book ChapterDOI
Symbolic model based testing for component oriented systems
TL;DR: This paper proposes an approach to test each component of a system by extracting accurate behaviours using information given by the system specification, and illustrates on an example that those behaviours could not have been extracted by reasoning uniquely at the component level.
Book ChapterDOI
Test Purpose Concretization through Symbolic Action Refinement
TL;DR: This work defines a relation as an extension of the ioco-conformance relation which relates SUTs and models whose communication actions are defined at the same level of abstraction and shows from an example how a test purpose resulting from an abstract IOSTS-model can be concretized in a test Purpose defined atThe abstraction level of the SUT.
Testing of Software and Communicating Systems
TL;DR: This work defines a relation as an extension of the ioco-conformance relation which relates SUTs and models whose communication actions are defined at the same level of abstraction and shows from an example how a test purpose resulting from an abstract IOSTS-model can be concretized in a test Purpose defined atThe abstraction level of the SUT.