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: Peureux:Fabien
Contributed to:
2014
2013
20072005
2002
2002
2001Wrote 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.