Ghazi Maatoug

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Automated Design

Security Protocols

Artificial Immune Algorithm

Mutation Testing

Top Venues

Softw. Test. Verification Reliab.

Publications

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES (2016)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch
Compiling symbolic attacks to protocol implementation tests. SCSS (2012)