| |
| 2003 | ||
|---|---|---|
| 1 | EE | Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin: Automatic Test Generation with AGATHA. TACAS 2003: 591-596 |
| 1 | Céline Bigot | [1] |
| 2 | Alain Faivre | [1] |
| 3 | Jean-Pierre Gallois | [1] |
| 4 | David Lugato | [1] |
| 5 | Jean-Yves Pierron | [1] |
| 6 | Nicolas Rapin | [1] |