Séverine Colin

According to our database, Séverine Colin authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

2004

Preamble computation in automated test case generation using constraint logic programming.

Séverine Colin, Bruno Legeard, Fabien Peureux

Softw. Test. Verification Reliab., 2004

Run-Time Verification.

Séverine Colin, Leonardo Mariani

Proceedings of the Model-Based Testing of Reactive Systems, 2004