"Constructing Subtle Concurrency Bugs Using Synchronization-Centric ..."

Leon Wu Gail Kaiser (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics