Test generation from timed pushdown automata with inputs and outputs.

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

Browse the full ICST paper archive.