Login / Signup
Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis.
Djemai Kebbal
Pascal Sainrat
Published in:
WCET (2006)
Keyphrases
</>
static analysis
databases
symbolic execution
case study
state space
software development