Ghazi Maatoug

According to our database, Ghazi Maatoug authored at least 3 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Model-Based Testing Approach for Security Protocols.

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

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

2012

Compiling symbolic attacks to protocol implementation tests.

Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012