Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests. (concrete and relevant exploration of abstract event systems for automatic tests generation)

Guillaume Voiron. Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests. (concrete and relevant exploration of abstract event systems for automatic tests generation). PhD thesis, University of Burgundy - Franche-Comté, France, 2019. [doi]