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

Frank Mueller, Joachim Wegener. A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints. In IEEE Real Time Technology and Applications Symposium. pages 144-154, 1998. [doi]

Abstract

Abstract is missing.