Covering both stack and states while testing push-down systems. - Pierre-Cyrille Héam; Hana M'Hemdi (ICST Workshops, 2015)

Test generation from timed pushdown automata with inputs and outputs. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (ICST Workshops, 2015)

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2015)

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 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 (2016)