Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper. Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil. pages 57-66, IEEE Computer Society, 2006. [doi]
Abstract is missing.