Automated Testing of Real-Time Tasks (2000)

by J Wegener, R Pitschinetz, H Sthamer
Venue:In Proceedings of the 1st International Workshop on Automated Program Analysis, Testing and Verification