Hana M'Hemdi

According to our database, Hana M'Hemdi authored at least 5 papers between 2015 and 2016.

Collaborative distances:

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

2016

Contributions à la génération de tests à partir d'automates à pile temporisés. (Contributiions to test generation from timed pushdowm automata).

Hana M'Hemdi

PhD thesis, 2016

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

2015

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Test generation from timed pushdown automata with inputs and outputs.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Covering both stack and states while testing push-down systems.

Pierre-Cyrille Héam, Hana M'Hemdi

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015