Finding complex concurrency bugs in large multi-threaded applications. - Fonseca, Pedro; Li, Cheng; Rodrigues, Rodrigo (2011)