Bernhard K. Aichernig, Florian Lorber. Towards generation of adaptive test cases from partial models of determinized timed automata. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-6, IEEE Computer Society, 2015. [doi]
Abstract is missing.