CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications.

Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse

Browse the full ISSTA paper archive.