Compiling symbolic attacks to protocol implementation tests. - Hatem Ghabri; Ghazi Maatoug; Michaël Rusinowitch (SCSS, 2012)

Model-based mutation testing from security protocols in HLPSL. - Frédéric Dadeau; Pierre-Cyrille Héam; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (Softw. Test. Verification Reliab., 2015)

A Model-Based Testing Approach for Security Protocols. - Pierre-Cyrille Héam; Frédéric Dadeau; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (CSE/EUC/DCABES, 2016)