Finding and Reproducing Heisenbugs in Concurrent Programs.

Madanlal Musuvathi Shaz Qadeer Thomas Ball Gérard Basler Piramanayagam Arumuga Nainar Iulian Neamtiu

Published in: OSDI (2008)

Keyphrases