Temporal Debugging using URDB - Ana Maria Visan; Artem Y. Polyakov; Praveen S. Solanki; Kapil Arya; Tyler Denniston; Gene Cooperman (CoRR, 2009)

URDB: a universal reversible debugger based on decomposing debugging histories. - Ana Maria Visan; Kapil Arya; Gene Cooperman; Tyler Denniston (PLOS@SOSP, 2011)

FReD: Automated Debugging via Binary Search through a Process Lifetime - Kapil Arya; Tyler Denniston; Ana Maria Visan; Gene Cooperman (CoRR, 2012)

Semi-automated debugging via binary search through a process lifetime. - Kapil Arya; Tyler Denniston; Ana Maria Visan; Gene Cooperman (PLOS@SOSP, 2013)