A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints.
Frank Mueller, Joachim Wegener
VenueARTAS
Year1998
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/MuellerW98 ↗
Browse the full RTAS paper archive.