Roland Groz
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Optimisation
Méthodes formelles
Débogage
Génération de tests
Injection de fautes
Méthodes formelles (informatique)
Services
Model-Based Testing
Génie Logiciel
Refactorisation de test
Processus de test logiciel
Automatisation
Méthodes Agiles
Génie logiciel
Apprentissage automatique
Boîte noire
Inférence du modèle
Tests de logiciels