Séverine Colin

Génération de tests à partir de statecharts fondée sur le calcul de comportements

Franck Lebeau, Bruno Legeard, Séverine Colin, 2006, Tech. Sci. Informatiques.

Preamble computation in automated test case generation using constraint logic programming: Research Articles

Bruno Legeard, Fabien Peureux, Séverine Colin, 2004 .

Run-Time Verification

Leonardo Mariani, Séverine Colin, 2004, Model-Based Testing of Reactive Systems.

Preamble computation in automated test case generation using constraint logic programming

Bruno Legeard, Fabien Peureux, Séverine Colin, 2004, Softw. Test. Verification Reliab..