BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × France
1 × Japan
1 × Poland
Collaborated with:
C.Gaston P.L.Gall J.Dick A.Touil P.Behm P.Benoit J.Meynadier C.Bigot J.Gallois A.Lapitre D.Lugato J.Pierron N.Rapin
Talks about:
test (4) generat (2) symbol (2) model (2) base (2) success (1) sequenc (1) project (1) concret (1) automat (1)

Person: Alain Faivre

DBLP DBLP: Faivre:Alain

Contributed to:

TestCom/FATES 20082008
TestCom/FATES 20072007
TACAS 20032003
World Congress on Formal Methods 19991999
FME 19931993

Wrote 5 papers:

TestCom-FATES-2008-FaivreGGT #refinement
Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
TestCom-FATES-2007-FaivreGG #component #modelling #testing
Symbolic Model Based Testing for Component Oriented Systems (AF, CG, PLG), pp. 90–106.
TACAS-2003-BigotFGLLPR #automation #generative #testing
Automatic Test Generation with AGATHA (CB, AF, JPG, AL, DL, JYP, NR), pp. 591–596.
FM-v1-1999-BehmBFM #named #scalability
Météor: A Successful Application of B in a Large Project (PB, PB, AF, JMM), pp. 369–387.
FME-1993-DickF #automation #generative #modelling #specification #testing
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications (JD, AF), pp. 268–284.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.