Combining Static Analysis and Profiling for Estimating Execution Times | Publicación