Author
Koca, Feyzullah, Sözer, Hasan, Abreu, R.
Publication Date
2013
Publication Place
-
Springer Science+Business Media
Subject
Debugging, Multithreading, Concurrency faults, Thread safety, Dynamic analysis, Spectrum-based fault localization
Type
Book
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
978-3-642-41707-8
Record ID
bba83f7d-8d80-4627-8f46-76daee66e796
Library Location
Computer Science
Date
2013
Notes
Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Sample Text
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.
DOI
10.1007/978-3-642-41707-8_16
Cilt
8254
