Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Wednesday, January 26, 2011 - 4:01:20 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM



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⟩