1. Model‐based mutation testing from security protocols in HLPSL. (29th April 2014) Authors: Dadeau, Frédéric; Héam, Pierre‐Cyrille; Kheddam, Rafik; Maatoug, Ghazi; Rusinowitch, Michael Other Names: Jia Yue guestEditor.; Merayo Mercedes guestEditor.; Harman Mark guestEditor. Journal: Software testing, verification & reliability Issue: Volume 25:Number 5/7(2015) Page Start: 684 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗