RDE: Replay DEbugging for Diagnosing Production Site Failures
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs