Mutation-Based Test Generation from Security Protocols in HLPSL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Mutation-Based Test Generation from Security Protocols in HLPSL

Domains

Software Engineering [cs.SE]

Frédéric Dadeau  : Connect in order to contact the contributor

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

Submitted on : Wednesday, January 26, 2011-4:01:20 PM

Last modification on : Thursday, April 4, 2024-9:07:21 PM

No file

Dates and versions

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

Identifiers

Cite

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⟩

Export

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
187 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More