"Understanding and generating high quality patches for concurrency bugs."

Haopeng Liu, Yuxi Chen, Shan Lu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics