Replay for concurrent non-deterministic shared memory applications (1996)

by M Russinovich, B Cogswell
Venue:In Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation