Mariem Abdelmoula

According to our database, Mariem Abdelmoula authored at least 3 papers between 2011 and 2014.

Collaborative distances:

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

2014

Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués. (Automatic generation of tests with data symbolic analysis for the embedded systems).

Mariem Abdelmoula

PhD thesis, 2014

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.

Mariem Abdelmoula, Daniel Gaffé, Michel Auguin

Proceedings of the Testing Software and Systems, 2014

2011

Naming for heterogeneous networks prone to episodic connectivity.

Rao Naveed Bin Rais, Mariem Abdelmoula, Thierry Turletti, Katia Obraczka

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011