Doctorat
Equipe : Test Formel et Exploration de Systèmes
Test Generation and Animation Based on Object-Oriented Specifications
Début le 01/01/2009
Direction : WOLFF, Burkhart
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : INRIA Saclay
Soutenue le 09/12/2011 devant le jury composé de :
Bernhard Rumpe, RWTH Aachen, Rapporteur
Catherine Dubois, Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Rapporteur
Burkhart Wolff, Université Paris-Sud, Directeur de Thèse
Christine Paulin-Mohring, Université Paris-Sud, Examinatrice
Bruno Marre, Commissariat à l'Energie Atomique et aux Energies Alternatives (CEA), Examinateur
Activités de recherche :
Résumé :
