Frédéric Dadeau
IdRefMots clés
FR |
EN
Logiciels -- Validation
Sécurité
Systèmes informatiques -- Mesures de sûreté
Praspel
Génération de données
Génération automatique de tests unitaires
PHP
Test
Validation
Systèmes à composants
Systèmes adaptatifs
Systèmes adaptatifs (technologie)
Boîte noire
Inférence du modèle
Tests de logiciels
Optimisation
Apprentissage
Machine de Mealy
Modèle
Inférence