TY  - THES
DP  - http://www.theses.fr/2016CLF22691
TI  - Automated test generation for production systems with a model-based testing approach
AU  - Durand, William
A3  - Salva, Sébastien
PY  - 2016
N1  - Thèse de doctorat Informatique Clermont-Ferrand 2 2016
N1  - 2016CLF22691
UR  - http://www.theses.fr/2016CLF22691/document
ER  -