Towards generation of adaptive test cases from partial models of determinized timed automata.

Bernhard K. Aichernig, Florian Lorber

Browse the full ICST paper archive.