Automated concurrency-bug fixing (2012)

by G Jin, W Zhang, D Deng, B Liblit, S Lu
Venue:In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI ’12