Predictable and Progressive Testing of Multithreaded Code2011-05-013 PRE AI TThomas S. Ball SSebastian Burckhardt PPeli de Halleux MMusuvathi, Madanlal SShaz Qadeer DOI:10.1109/MS.2010.64OriginalOriginal request for helpShareSaveAbstract En