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) |