Lydie du Bousquet
Mots clés
FR |
EN
Logiciels -- Vérification
Test
Logiciels -- Validation
Validation
Simulation
Exécution symbolique
Praspel
Génération de données
Génération automatique de tests unitaires
PHP
Qualité logiciel
Modèle de faute
Interfaces graphiques (informatique)
Interaction humain-machine
Systèmes hybrides
Propriétés de sûreté
Domotique
Services
Cloud Computing
Élasticité