Toggle navigation
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Plus
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Accueil
Thèses
Thèse de M. Abdelkamel HETTAB
Auteur
M. Abdelkamel HETTAB
Informations
Directeur de thèse :
Pr Allaoua CHAOUI
Université :
Université Constantine 2
Soutenance
Date de soutenance :
7 Mars 2020
Détails
Français
Fr
Anglais
En
Arabe
Ar
Titre :
Génération de cas de test pour la validation des diagrammes UML
Mots clés :
Model Based Testing
Diagramme d'activité UML
Transformation de Modèles