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 RTSS