  This paper focuses on generating test cases from timed symbolic transition
systems. At the heart of the generation process are symbolic execution
techniques on data and time. Test cases look like finite symbolic trees with
verdicts on their leaves and are based on a user-specified finite symbolic path
playing the role of a test purpose. Generated test cases handle data involved
in time constraints and uninitialized parameters, leveraging the advantages of
symbolic execution techniques.
