Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués. (Automatic generation of tests with data symbolic analysis for the embedded systems)

Mariem Abdelmoula. Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués. (Automatic generation of tests with data symbolic analysis for the embedded systems). PhD thesis, University of Nice Sophia Antipolis, France, 2014. [doi]

Abstract

Abstract is missing.