"Synthesizing racy tests."

Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics