Génération automatique de tests pour modèles avec variables ou récursivité

Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 161-169.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495281573
Date January 2008
CreatorsConstant, Camille Jéron, Thierry
PublisherRennes : [s.n.],
Source SetsOCLC
LanguageFrench
Detected LanguageFrench
SourceAccès en ligne

Page generated in 0.0019 seconds