Yves Ledru

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Olivier Maury

> Home > Persons > Yves Ledru

Publications

2010
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BousquetLMOL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BousquetLMOL10
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reason. 45(4): 415-435 (2010)
2004
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LedruBMB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LedruBMB04
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron:
Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BousquetLMOL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BousquetLMOL04
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Case Study in JML-Based Software Validation. ASE 2004: 294-297
2001
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LedruBBMOP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LedruBBMOP01
Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet:
Test Purposes: Adapting the Notion of Specification to Testing. ASE 2001: 127-134

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.