Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach. (2013)

by W Zhang, C Sun, J Lim, S Lu, T W Reps
Venue:ACM Trans. Softw. Eng. Methodol.,