Finding complex concurrency bugs in large multi-threaded applications (2011)

by Pedro Fonseca, Cheng Li, Rodrigo Rodrigues
Venue:In Proc. of the Sixth ACM European Conf. on Computer Systems