Automated concurrency-bug fixing (2012)

by Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, Shan Lu
Venue:In Proc. of the 10th USENIX Symp. on Operating Systems Design and Implementation