On Systematic Testing for Execution-Time Analysis

Daniel Bundala, Sanjit A. Seshia

Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violatio…