Finding and Reproducing Heisenbugs in Concurrent Programs.

Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Grard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu

Browse the full OSDI paper archive.