Skip to Main content Skip to Navigation
New interface
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 : Friday, January 21, 2022 - 3:09:04 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⟩



Record views