Flow-Centric, Back-in-Time Debugging . - Adrian Lienhard; Julien Fierz; Oscar Nierstrasz (TOOLS (47), 2009)