ConSeq: Detecting Concurrency Bugs through Sequential Errors. In (2011)

by W Zhang, J Lim, R Olichandran, J Scherpelz, G Jin, S Lu, T W Reps
Venue:ASPLOS,