Guaranteed Loop Bound Identification from Program Traces for WCET.

Published in: IEEE Real-Time and Embedded Technology and Applications Symposium (2009)