Faculty of Engineering

Permanent URI for this communityhttps://hdl.handle.net/10679/10

Browse

Browsing by Author "Abreu, R."

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Placeholder
    Book PartPublicationMetadata only
    Spectrum-based fault localization for diagnosing concurrency faults
    (Springer Science+Business Media, 2013) Koca, Feyzullah; Sözer, Hasan; Abreu, R.; Computer Science; SÖZER, Hasan; Koca, Feyzullah
    Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization techniques focus on pinpointing data-access patterns that are subject to concurrency faults. In this paper, we propose a spectrum-based fault localization technique for localizing faulty code blocks instead. We systematically instrument the program to create versions that run in particular combinations of thread interleavings. We run tests on all these versions and utilize spectrum-based fault localization to correlate detected errors with concurrently executing code blocks. We have implemented a tool and applied our approach on several industrial case studies. Case studies show that our approach can effectively and efficiently localize concurrency faults.