| |
| 2006 | ||
|---|---|---|
| 3 | EE | Séverine Colin, Franck Lebeau, Bruno Legeard: Génération de tests à partir de statecharts fondée sur le calcul de comportements. Technique et Science Informatiques 25(1): 103-132 (2006) |
| 2004 | ||
| 2 | EE | Séverine Colin, Leonardo Mariani: Run-Time Verification. Model-Based Testing of Reactive Systems 2004: 525-555 |
| 1 | EE | Séverine Colin, Bruno Legeard, Fabien Peureux: Preamble computation in automated test case generation using constraint logic programming. Softw. Test., Verif. Reliab. 14(3): 213-235 (2004) |
| 1 | Franck Lebeau | [3] |
| 2 | Bruno Legeard | [1] [3] |
| 3 | Leonardo Mariani | [2] |
| 4 | Fabien Peureux | [1] |