Replay for concurrent nondeterministic shared memory applications (1996)

by M Russinovich, B Cogswell
Venue:In PLDI