David Kelk, Kevin Jalbert, Jeremy S. Bradbury. Automatically Repairing Concurrency Bugs with ARC. In João Lourenço, Eitan Farchi, editors, Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Volume 8063 of Lecture Notes in Computer Science, pages 73-84, Springer, 2013. [doi]
Abstract is missing.