Automated Concurrency-Bug Fixing. In: (2012)

by G Jin, W Zhang, D Deng, B Liblit, S Lu
Venue:OSDI,