Fabien Peureux
IdRefMots clés
FR |
EN
Validation de système embarqués
Génération de tests à partir de modèles
UML/Sys ML
Critères de couverture
Transformation de modèles
Chaine outillée
Commande automatique
Test de Vulnérabilité
Test à partir de Modèles
Patterns de Test de Vulnérabilité
Applications Web
Cross-Site Scripting
Injections SQL
Cross-Site Request Forgery
Privilege Escalation
Systèmes informatiques -- Mesures de sûreté
Vérification
Spécifications modales
Réseaux Workflows
Solveurs de contraintes