"RT-simex: retro-analysis of execution traces."

Julien DeAntoni et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics