Séverine Colin

	2006
3		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		Séverine Colin, Leonardo Mariani: Run-Time Verification. Model-Based Testing of Reactive Systems 2004: 525-555
1		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)

Coauthor Index

1	Franck Lebeau	[3]
2	Bruno Legeard	[1] [3]
3	Leonardo Mariani	[2]
4	Fabien Peureux	[1]

Colors in the list of coauthors