J
[Jer04] Thierry Jéron. Contribution à la génération automatique de tests pour les systèmes réactifs. Mémoire d'habilitation, Université Rennes 1, France, February 2004. 
@phdthesis{hab-jeron,
  author =              {J{\'e}ron, Thierry},
  title =               {Contribution {\`a} la g{\'e}n{\'e}ration automatique
                         de tests pour les syst{\`e}mes r{\'e}actifs},
  year =                {2004},
  month =               feb,
  school =              {Universit{\'e} Rennes~1, France},
  type =                {M\'emoire d'habilitation},
}
List of authors