| |
| 2004 | ||
|---|---|---|
| 2 | EE | Valéry Tschaen: Test Generation Algorithms Based on Preorder Relations. Model-Based Testing of Reactive Systems 2004: 151-171 |
| 1 | EE | Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176 |
| 1 | Bertrand Jeannet | [1] |
| 2 | Thierry Jéron | [1] |
| 3 | Hervé Marchand | [1] |
| 4 | Vlad Rusu | [1] |