Generation of tests for real-time systems with test purposes

Publication
15th International Conference on Real-Time and Network Systems RTNS07