METHOD FOR ESTIMATING THE EXECUTION TIME OF ARBITRARY PATHS IN PROGRAMS.