Mouna Tka Mnad

According to our database, Mouna Tka Mnad authored at least 2 papers between 2014 and 2016.

Collaborative distances:

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

2016

Automated test generation for synchronous controllers.

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2014

Synchronous Programs Testing Language (SPTL).

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014