Experience report on Model-Based Testing of Security Components

Frédéric Dadeau 1 Elizabeta Fourneret 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
UCAAT 2015, 3rd User Conference on Advanced Automated Testing, Oct 2015, Sophia-Antipolis, France. 2015, 〈http://ucaat.etsi.org/2015/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01244769
Contributeur : Frédéric Dadeau <>
Soumis le : mercredi 16 décembre 2015 - 11:20:49
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26

Identifiants

  • HAL Id : hal-01244769, version 1

Citation

Frédéric Dadeau, Elizabeta Fourneret. Experience report on Model-Based Testing of Security Components. UCAAT 2015, 3rd User Conference on Advanced Automated Testing, Oct 2015, Sophia-Antipolis, France. 2015, 〈http://ucaat.etsi.org/2015/〉. 〈hal-01244769〉

Partager

Métriques

Consultations de la notice

243