CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. - Ke Zhai 002; Boni Xu; W. K. Chan 001; T. H. Tse (ISSTA, 2012)