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