Mutation-Based Test Generation from Security Protocols in HLPSL.

Frdric Dadeau, Pierre-Cyrille Ham, Rafik Kheddam

Browse the full ICST paper archive.