Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata.

Nathalie Bertrand, Thierry Jron, Amlie Stainer, Moez Krichen

Browse the full TACAS paper archive.