Spectrum-based fault localization for diagnosing concurrency faults
dc.contributor.author | Koca, Feyzullah | |
dc.contributor.author | Sözer, Hasan | |
dc.contributor.author | Abreu, R. | |
dc.date.accessioned | 2016-02-15T09:33:28Z | |
dc.date.available | 2016-02-15T09:33:28Z | |
dc.date.issued | 2013 | |
dc.identifier.isbn | 978-3-642-41707-8 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/10679/2252 | |
dc.identifier.uri | http://link.springer.com/chapter/10.1007/978-3-642-41707-8_16 | |
dc.description | Due to copyright restrictions, the access to the full text of this article is only available via subscription. | |
dc.description.abstract | 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. | |
dc.language.iso | eng | en_US |
dc.publisher | Springer Science+Business Media | |
dc.relation.ispartof | Testing Software and Systems | |
dc.rights | restrictedAccess | |
dc.title | Spectrum-based fault localization for diagnosing concurrency faults | en_US |
dc.type | Book chapter | en_US |
dc.peerreviewed | yes | |
dc.publicationstatus | published | en_US |
dc.contributor.department | Özyeğin University | |
dc.contributor.authorID | (ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan | |
dc.contributor.ozuauthor | Sözer, Hasan | |
dc.identifier.volume | 8254 | |
dc.identifier.startpage | 239 | |
dc.identifier.endpage | 254 | |
dc.identifier.doi | 10.1007/978-3-642-41707-8_16 | |
dc.subject.keywords | Debugging | |
dc.subject.keywords | Multithreading | |
dc.subject.keywords | Concurrency faults | |
dc.subject.keywords | Thread safety | |
dc.subject.keywords | Dynamic analysis | |
dc.subject.keywords | Spectrum-based fault localization | |
dc.identifier.scopus | SCOPUS:2-s2.0-84893380621 | |
dc.contributor.ozugradstudent | Koca, Feyzullah | |
dc.contributor.authorMale | 2 | |
dc.relation.publicationcategory | Book Chapter - International - Institutional Academic Staff and PhD Student |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
Share this page