Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. - Feyzullah Koca; Hasan Sözer; Rui Abreu 001 (ICTSS, 2013)