A testing technique that captures a program's execution and replays it deterministically to reproduce bugs or test changes.