"Automated data race bugs addition."

Hongliang Liang, Mingyue Li, Jianli Wang (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics