Le moteur de recherche
des thèses françaises
Arnaud Gotlieb
IdRefMots clés
FR |
EN
Logiciels -- Validation
Apprentissage automatique
Logiciels -- Essais
Logiciels -- Vérification
Machine Learning
Programmation par contraintes
Praspel
Génération de données
Génération automatique de tests unitaires
PHP
Test
Génération de tests
Satisfaction de contraintes
Oracle
Simulation
Systèmes autonomes
Indéterminisme
Sûreté de fonctionnement
Robots autonomes
Systèmes virtuels (informatique)