"Follow the path: Debugging state anomalies along execution histories."

Michael Perscheid, Tim Felgentreff, Robert Hirschfeld (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics