| |
| 2004 | ||
|---|---|---|
| 2 | EE | David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut: Automated Functional Test Case Synthesis from THALES industrial Requirements. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 104-111 |
| 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 | Hubert Dubois | [2] |
| 3 | Alain Faivre | [1] |
| 4 | Jean-Pierre Gallois | [1] [2] |
| 5 | Arnault Lapitre | [1] |
| 6 | David Lugato | [1] [2] |
| 7 | Frédéric Maraux | [2] |
| 8 | Clémentine Nebut | [2] |
| 9 | Véronique Normand | [2] |
| 10 | Nicolas Rapin | [1] |
| 11 | Yves Le Traon | [2] |