Finding and reproducing Heisenbugs in concurrent programs (2008)

by M Musuvathi, S Qadeer, T Ball, G Basler, P A Nainar, I Neamtiu
Venue:In Proceedings of the 8th Symposium on Operating Systems Design and Implementation