A debugging technique in which a history of program execution is recorded and then replayed under the user's control, in either the forward or backward direction.