Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging
Jockey: a user-space library for record-replay debugging