Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle)

William Durand. Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle). PhD thesis, Blaise Pascal University, Clermont-Ferrand, France, 2016. [doi]

Abstract

Abstract is missing.