ANR 11 ASTR 002

OSeP

Test de sécurité à la volée et hors ligne dirigé par les modèles

[Capuron 12] J.-F. Capuron, B. Legeard. Génération de tests à partir de modèles pour la vérification de propriétés de sécurité. Journée Française du Test Logociel, 3 avril 2012, Paris <download>
[Bcl 13] J.Botella, F. Bouquet, J.-F. Capuron, F. Lebeau, B. Legeard, F. Schadle. Model-based Testing of Cryptographic Components - Lessons Learned from Experience. IEEE International Conference on Software Testing, Verification and Validation, 18-22 mars 2013, Luxembourg <download>