Although 'time travelling debuggers' sound cool, I would find them easier to explain if we simply called them 'debuggers with undo'.