Mutation-Based Test Generation from Security Protocols in HLPSL

Frédéric Dadeau 1 Pierre-Cyrille Héam 1 Rafik Kheddam 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
Harman, Mark and Korel, Bodgan. 4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. IEEE Computer Society Press, 2011, ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation. 〈10.1109/ICST.2011.42〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00559850
Contributeur : Frédéric Dadeau <>
Soumis le : mercredi 26 janvier 2011 - 16:01:20
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

Citation

Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam. Mutation-Based Test Generation from Security Protocols in HLPSL. Harman, Mark and Korel, Bodgan. 4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. IEEE Computer Society Press, 2011, ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation. 〈10.1109/ICST.2011.42〉. 〈inria-00559850〉

Partager

Métriques

Consultations de la notice

210