Next:
Génération de tests par
Sujets de stages de DEA
proposés dans le projet
P
AMPA
Génération de tests par la synthèse de contrôleurs
Génération de tests et jeux
Vérification de cas de test par méthodes déductives
Synthèse de réseaux de Petri à partir de spécifications de haut niveau
Procédures de coordination pour le test réparti
Génération de tests avec des modèles de vrai parallélisme
Génération, sélection et optimisation génétique des tests
Modélisation en UML de mécanismes de contrôle de la qualité de service d'applications réparties interactives
Répartition de programmes réactifs synchrones
Amélioration de la qualité des tests en environnement asynchrone
