Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes
Méthodes d'aide à la revue d'un processus de test de logiciel basé sur des modèles (Model Based Testing)
Début le 02/11/2011
Direction : GAUDEL, Marie-Claude
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 01/01/1970 devant le jury composé de :
Activités de recherche :
- Test formel basé sur les modèles
Résumé :
