CoopREP: Cooperative Record and Replay of Concurrency Bugs

Publication
in Journal of Software Testing, Verification and Reliability
Date