TY - THES DP - http://www.theses.fr/2005GRE10166 TI - Une approche basée sur les modèles pour le test de robustesse AU - Pachon, Cyril Alexandre A3 - Fernandez, Jean-Claude; Bozga, Marius PY - 2005 SP - 1 volume (xiv-187 pages) N1 - Thèse de doctorat Informatique Grenoble 1 2005 N1 - 2005GRE10166 ER -