Time-Optimal Real-Time Test Case Generation using UPPAAL (2003)

by A Hessel, K G Larsen, B Nielsen, P Pettersson, A Skou
Venue:Proc. International Workshop on Formal Approaches to Testing of Software