"The road not taken: Estimating path execution frequency statically."

Raymond P. L. Buse, Westley Weimer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics