Partial replay of long-running applications
RacerX: effective, static detection of race conditions and deadlocks