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 × 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 DBLP: Ledru:Yves

Facilitated 8 volumes:

ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2011ExpertReviewPa
ASE 2011PrBoard
ASE 2010ExpertReviewPa
ASE 2010PrBoard
ASE 2000GCh
ASE 1997PrCh

Contributed to:

ICST 20132013
ASE 20122012
FASE 20122012
ASE 20092009
ASE 20072007
MBT 20072007
ASE 20062006
ASE 20042004
FASE 20042004
ASE 20012001
CAiSE 20002000
ASE 19981998
ICSE 19961996
KBSE 19961996
KBSE 19951995
FME 19941994
KBSE 19921992
ICSE 19901990
VDM Europe 19901990

Wrote 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.

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.