Séverine Colin

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Séverine Colin, Franck Lebeau, Bruno Legeard
Génération de tests à partir de statecharts fondée sur le calcul de comportements. Tech. Sci. Informatiques 25 (1) (2006)
Séverine Colin, Bruno Legeard, Fabien Peureux
Preamble computation in automated test case generation using constraint logic programming. Softw. Test. Verification Reliab. 14 (3) (2004)
Séverine Colin, Leonardo Mariani
Run-Time Verification. Model-Based Testing of Reactive Systems (2004)