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 (UMR 6174), 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 : vendredi 6 juillet 2018 - 15:06:10

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

263