Has anyone actually used a reversable debugger? The only product that Google turns up is UndoDB. It is for apparently for Linux only.
The word your looking for may be "Omniscient Debugging".
Here is one: http://www.lambdacs.com/debugger/
The UndoDB page has some links to (expensive) commercial debuggers.