TY  - THES
DP  - http://www.theses.fr/2017SACLC014
TI  - Model-Based Testing over IOSTS enriched with function calls
AU  - Boudhiba, Imen
A3  - Le Gall, Pascale
PY  - 2017
N1  - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2017
N1  - 2017SACLC014
ER  -