New journal paper accepted at Software Testing, Verification and Reliability. Wiley, 2017 CoopREP: Cooperative Record and Replay of Concurrency Bugs N. Machado, P. Romano, L. Rodrigues