Record/Replay Debugging Tutorial

How to record/replay and debug a program using reverse debugging through a small example program written in C.