Elizabeta Fourneret. Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. (Test Generation from UML/OCL Model for involving critical system). PhD thesis, University of Franche-Comté, Besançon, France, 2012. [doi]
Abstract is missing.