BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Italy
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
B.Legeard F.Bouquet M.Utting H.Bride O.Kouchnarenko F.Ambert J.Lasalle E.Jaffuel C.Grandpierre N.Vacelet
Talks about:
test (5) constraint (2) generat (2) specif (2) model (2) autom (2) base (2) use (2) implement (1) workflow (1)

Person: Fabien Peureux

DBLP DBLP: Peureux:Fabien

Contributed to:

IFM 20142014
ECMFA 20132013
A-MOST 20072007
A-MOST 20052005
FME 20022002
TACAS 20022002
ASE 20012001

Wrote 7 papers:

IFM-2014-BrideKP #constraints #specification #theorem proving #using #verification #workflow
Verifying Modal Workflow Specifications Using Constraint Solving (HB, OK, FP), pp. 171–186.
ECMFA-2013-AmbertBLLP #approach #modelling #testing
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.
A-MOST-2007-BouquetGLPVU #modelling #precise #testing #uml
A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
A-MOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation
Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU), pp. 44–50.
FME-2002-LegeardPU #automation #bound #testing
Automated Boundary Testing from Z and B (BL, FP, MU), pp. 21–40.
TACAS-2002-BouquetLP #constraints #named #theorem proving
CLPS-B — A Constraint Solver for B (FB, BL, FP), pp. 188–204.
ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.

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.