Run-Time Verification. - Séverine Colin; Leonardo Mariani (Model-Based Testing of Reactive Systems, 2004)

Preamble computation in automated test case generation using constraint logic programming. - Séverine Colin; Bruno Legeard; Fabien Peureux (Softw. Test. Verification Reliab., 2004)

Génération de tests à partir de statecharts fondée sur le calcul de comportements. - Séverine Colin; Franck Lebeau; Bruno Legeard (Tech. Sci. Informatiques, 2006)