Automated atomicity-violation fixing (2011)

by G Jin, L Song, W Zhang, S Lu, B Liblit
Venue:In Programming language design and implementation