Travelled to:1 × Canada
1 × Denmark
1 × Germany
1 × Italy
1 × Luxembourg
2 × USA
3 × France
3 × United Kingdom
Collaborated with:F.Bouquet F.Peureux M.Utting F.Dadeau A.Bouzy E.Legros J.Chabrier C.Pradelles F.Ambert J.Lasalle E.Jaffuel J.Botella J.Capuron F.Lebeau F.Schadle C.Grandpierre N.Vacelet
Talks about:test (11) base (5) generat (4) specif (4) model (4) jml (4) autom (3) constraint (2) boundari (2) symbol (2)
Person: Bruno Legeard
DBLP: Legeard:Bruno
Facilitated 2 volumes:
PrCoPrCoContributed to:
2013
20132007
200620052005
2005200320022002
2001
1991
1991Wrote 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-2013-LegeardB #enterprise #modelling #testing
- Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.
- 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.
- 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.
- 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.
- ICLP-1991-ChabrierPL #constraints #logic programming #programming language
- Applications of Constraints Logic Programming Languages (JJC, CP, BL), p. 944.
- PLILP-1991-LegeardL #overview
- Short Overview of the CLPS System (BL, EL), pp. 431–433.