A Unified Approach for Localizing Non-deadlock Concurrency Bugs.

Sangmin Park, Richard W. Vuduc, Mary Jean Harrold

Browse the full ICST paper archive.