Le moteur de recherche
des thèses françaises
Fatiha Zaïdi
IdRefMots clés
FR |
EN
Services Web
Sécurité
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Tests
Tests fonctionnels (informatique)
Programmation parallèle (informatique)
Model checking
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