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