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 × Luxembourg
1 × Spain
2 × Canada
2 × France
2 × Italy
2 × USA
3 × United Kingdom
Collaborated with:
B.Legeard F.Dadeau F.Peureux M.Utting A.D.Kermadec I.Enderlin A.Giorgetti F.Paci F.Massacci S.Debricon P.Bué J.Groslambert J.Julliand F.Ambert J.Lasalle E.Jaffuel J.Botella J.Capuron F.Lebeau F.Schadle C.Grandpierre N.Vacelet
Talks about:
test (12) model (5) base (5) generat (4) use (4) jml (4) specif (3) symbol (2) requir (2) autom (2)

Person: Fabrice Bouquet

DBLP DBLP: Bouquet:Fabrice

Contributed to:

ECMFA 20132013
ICST 20132013
ICST 20122012
SEFM 20102010
TAP 20102010
A-MOST 20072007
FATES/RV 20062006
FM 20062006
A-MOST 20052005
FM 20052005
TACAS 20052005
FME 20032003
TACAS 20022002

Wrote 14 papers:

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.
ICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling #testing
Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.
ICST-2012-EnderlinDGB #grammarware #php #testing #using
Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICST-2012-PaciMBD #evolution #process #requirements #testing
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
SEFM-2010-KermadecDB #modelling #quality
Assessing the Quality of B Models (ADK, FD, FB), pp. 83–90.
TAP-2010-BueDKB #abstraction #behaviour #using
Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.
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.
FATES-RV-2006-BouquetDGJ #generative #safety #testing
Safety Property Driven Test Generation from (FB, FD, JG, JJ), pp. 225–239.
FM-2006-BouquetDL #automation #bound #generative #ml #specification #testing
Automated Boundary Test Generation from JML Specifications (FB, FD, BL), pp. 428–443.
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.
FM-2005-BouquetDLU #animation #ml #specification
Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
TACAS-2005-BouquetDLU #ml #named #specification #using
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP (FB, FD, BL, MU), pp. 551–556.
FME-2003-BouquetL #case study #execution #generative #java #testing #transaction
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
TACAS-2002-BouquetLP #constraints #named #theorem proving
CLPS-B — A Constraint Solver for B (FB, BL, FP), pp. 188–204.

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.