RDE: Replay DEbugging for Diagnosing Production Site Failures
Jockey: a user-space library for record-replay debugging