Travelled to:1 × Austria
1 × Estonia
1 × France
1 × Japan
1 × Luxembourg
1 × New Zealand
1 × Sweden
2 × Germany
2 × Spain
2 × USA
Collaborated with:∅ L.d.Bousquet F.Dadeau C.Lafontaine P.Schobbens O.Maury T.Triki M.Liegeois P.Bontron G.Vega C.Oriat J.Botella A.Petrenko S.Boroday S.Dupuy M.Chabre-Peccoud F.Allouti S.Ville E.Rose J.Lanet M.Potet K.C.Castillos S.Taha
Talks about:test (12) specif (8) vdm (5) suit (4) case (4) base (4) use (4) combinatori (3) generat (3) formal (3)
♂ Person: Yves Ledru
DBLP: Ledru:Yves
Facilitated 8 volumes:
ExpertReviewPaPrBoardExpertReviewPaPrBoardExpertReviewPaPrBoardGChPrChContributed to:
20132012
201220092007
20072006200420042001
20001998
199619961995
199419921990
1990Wrote 20 papers:
- ICST-2013-DadeauCLTVBT #evaluation #generative #testing
- Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
- ASE-2012-LedruVTB #testing #traceability
- Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.
- FASE-2012-TrikiLBDB #combinator #modelling #testing
- Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.
- ASE-2009-LedruPB #string #testing #using
- Using String Distances for Test Case Prioritisation (YL, AP, SB), pp. 510–514.
- ASE-2007-LedruDBVR #combinator #explosion #generative
- Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.
- MBT-2007-DadeauLB #java #ml #specification #testing #using
- Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.
- MBT-2007-LedruBDA #case study #proving
- A Case Study in Matching Test and Proof Coverage (YL, LdB, FD, FA), pp. 73–84.
- ASE-2006-LedruB #execution #generative #named #specification
- Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
- ASE-2004-BousquetLMOL #case study #validation
- Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
- FASE-2004-LedruBMB #combinator #testing
- Filtering TOBIAS Combinatorial Test Suites (YL, LdB, OM, PB), pp. 281–294.
- ASE-2001-LedruBBMOP #adaptation #specification #testing
- Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.
- CAiSE-2000-DupuyLC #overview #specification #uml
- An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.
- ASE-1998-Ledru #identification #proving #theorem proving
- Identifying Pre-Conditions with the Z/EVES Theorem Prover (YL), p. 32–?.
- ICSE-1996-Ledru #tool support #using
- Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
- KBSE-1996-Ledru #specification
- Complementing semi-formal specifications with Z (YL), p. 10.
- KBSE-1995-Ledru #animation #specification
- Specification and Animation of a Bank Transfer (YL), pp. 192–199.
- FME-1994-Ledru #development #specification
- Proof-Based Development of Specifications with KIDS/VDM (YL), pp. 214–232.
- KBSE-1992-LedruL #prototype #specification
- Prototyping VDM Specifications with KIDS (YL, MHL), p. 8.
- ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using
- An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.
- VDME-1990-LafontaineLS #formal method #towards
- Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.