![](/img/cover-not-exists.png)
[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Mutation-Based Test Generation from Security Protocols in HLPSL
Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, RafikYear:
2011
Language:
english
DOI:
10.1109/icst.2011.42
File:
PDF, 369 KB
english, 2011