| |
| 2004 | ||
|---|---|---|
| 3 | EE | Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297 |
| 2 | EE | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294 |
| 2001 | ||
| 1 | EE | 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 |
| 1 | Pierre Bontron | [1] [2] |
| 2 | Lydie du Bousquet | [1] [2] [3] |
| 3 | Jean-Louis Lanet | [3] |
| 4 | Yves Ledru | [1] [2] [3] |
| 5 | Catherine Oriat | [1] [3] |
| 6 | Marie-Laure Potet | [1] |