Génération automatique de tests à partir de propriétés temporelles et de modèles comportementaux
FR
Auteur / Autrice : | Kalou Cabrera castillos |
Direction : | Jacques Julliand |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 11/12/2009 Soutenance le 28/11/2013 |
Etablissement(s) : | Besançon |
Ecole(s) doctorale(s) : | ED 37 - Sciences physiques pour l'ingénieur et microtechniques |
Partenaire(s) de recherche : | Equipe de recherche : Institut FEMTO-ST: Franche-Comté électronique mécanique thermique et optique - sc et technologies |
Jury : | Président / Présidente : Fabrice Bouquet |
Examinateurs / Examinatrices : Jacques Julliand, Taha Safouan, Frédéric Dadeau | |
Rapporteurs / Rapporteuses : Stephane Maag, Marie-laure Potet |
Mots clés
FR