Mutation-Based Test Generation from Security Protocols in HLPSL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Mutation-Based Test Generation from Security Protocols in HLPSL

Domaines

Génie logiciel [cs.SE]

Frédéric Dadeau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00559850

Soumis le : mercredi 26 janvier 2011-16:01:20

Dernière modification le : jeudi 4 avril 2024-21:07:21

Fichier non déposé

Dates et versions

inria-00559850 , version 1 (26-01-2011)

Identifiants

Citer

Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam. Mutation-Based Test Generation from Security Protocols in HLPSL. 4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. ⟨10.1109/ICST.2011.42⟩. ⟨inria-00559850⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE LCIS UNIV-LORRAINE INRIA2 LORIA LORIA-FM
166 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More