Fanqi Meng and Xiaohong Su Reducing WCET Overestimations by Correcting Errors in Loop Bound Constraints Subjects--Topical Terms: Computer science, information & general works