Un Data-Store pour la Génération de Cas de Tests

Loukmen Regainia, Cédric Bouhours, sébastien Salva
June, 2017
PDF Cite
Type
1
Publication
16èmes journées AFADL Approches Formelles dans l’Assistance au Développement de Logiciels
Patrons de sécurité ; Patrons d'attaque ; Cas de test ; Arbres d'attaque et de défense