Model-based mutation testing from security protocols in...

Software Testing, Verification and Reliability 2015 / 08 Vol. 25; Iss. 5-7

Model-based mutation testing from security protocols in HLPSL

Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
25
Language:
english
Journal:
Software Testing, Verification and Reliability
DOI:
10.1002/stvr.1531
Date:
August, 2015
File:
PDF, 3.20 MB
english, 2015
Conversion to is in progress
Conversion to is failed