R. Ward
-
Reversible Debugging Using Program Instrumentation
IEEE Transactions on Software Engineering