%O Thesis 
%9 HDR 
%F jeron04c
%A Jéron, T.
%T Contribution à la génération automatique de tests pour les systèmes réactifs
%I Université de Rennes 1
%8 March
%D 2004