Koca F, Sözer H, Abreu R.? 2013.??Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. Testing Software and Systems. :239?254.