Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution (2006)

by J Gustafsson, A Ermedahl, C Sandberg, B Lisper
Venue:In IEEE Real-Time Systems Symposium (RTSS