Le moteur de recherche
des thèses françaises
Fatiha Zaïdi
IdRefMots clés
FR |
EN
Services Web
Logiciels -- Vérification
Sécurité
Programmation parallèle (informatique)
Model checking
Systèmes informatiques -- Mesures de sûreté
Tests fonctionnels (informatique)
Systèmes paramétrés
Cohérence (informatique)
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Test en-ligne
Traitement réparti
Test de robustesse
Testabilité
Génération de test
WSDL
Analyse statique
Slicing
Test structurel, erreur à l’exécution