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: Bouquet:Fabrice
Contributed to:
2013
20132012
2010
2010
2007
2006
200620052005
200520032002Wrote 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.