"Adaptively generating high quality fixes for atomicity violations."

Yan Cai, Lingwei Cao, Jing Zhao (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics