Le moteur de recherche
des thèses françaises
Bruno Legeard
IdRefMots clés
FR |
EN
Applications Web
Programmation logique
Test logiciel
Sécurité
Systèmes informatiques -- Mesures de sûreté
Programmation par contraintes
Internet des objets
Test de Vulnérabilité
Test à partir de Modèles
Patterns de Test de Vulnérabilité
Cross-Site Scripting
Injections SQL
Cross-Site Request Forgery
Privilege Escalation
Génération de tests à partir de modèles,
UML
OCL
Solveur CSP
Pouveur SMT
Collaboration