A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints (1998)

by F Mueller, J Wegener
Venue:Proc. IEEE Real Time Technology and Applications Symposium