- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 2 |      | Sébastien Labbé, Arnault Lapitre: CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102 |
| 2003 | ||
| 1 | | 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 | Sébastien Labbé | [2] |
| 5 | David Lugato | [1] |
| 6 | Jean-Yves Pierron | [1] |
| 7 | Nicolas Rapin | [1] |