Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de

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-Sud

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é :