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

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

Browse the full WETICE paper archive.