Yes, in a large system, many of Victor's techniques might only be usable in isolatable areas, like well-mocked unit-tests. Regarding "some kind of VM that reme

Yes, in a large system, many of Victor's techniques might only be usable in isolatable areas, like well-mocked unit-tests. Regarding "some kind of VM that remembers all its previous states", check out 'Omniscient Debugging': http://www.lambdacs.com/debugger/ http://www.lambdacs.com/debugger/