"Debugging with control-flow breakpoints."

Rick Chern, Kris De Volder (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics