ConSeq: detecting concurrency bugs through sequential errors. - Wei Zhang 022; Junghee Lim; Ramya Olichandran; Joel Scherpelz; Guoliang Jin; Shan Lu 001; Thomas W. Reps (ASPLOS, 2011)