Finding and reproducing Heisenbugs in concurrent programs (2008)

by M Musuvathi, S Qadeer, T Ball, G Basler, P A Nainar, I Neamtiu
Venue:In OSDI