Spectrum-based fault localization for diagnosing concurrency faults

Name: Spectrum-based fault localization for diagnosing concurrency faults
Author: Koca, Feyzullah, Sözer, Hasan, Abreu, R.

İsim	Spectrum-based fault localization for diagnosing concurrency faults
Yazar	Koca, Feyzullah, Sözer, Hasan, Abreu, R.
Basım Tarihi:	2013
Basım Yeri	- Springer Science+Business Media
Konu	Debugging, Multithreading, Concurrency faults, Thread safety, Dynamic analysis, Spectrum-based fault localization
Tür	Kitap
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-3-642-41707-8
Kayıt Numarası	bba83f7d-8d80-4627-8f46-76daee66e796
Lokasyon	Computer Science
Tarih	2013
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	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

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Spectrum-based fault localization for diagnosing concurrency faults

Yazar Koca, Feyzullah, Sözer, Hasan, Abreu, R.

Basım Tarihi 2013

Basım Yeri - Springer Science+Business Media

Konu Debugging, Multithreading, Concurrency faults, Thread safety, Dynamic analysis, Spectrum-based fault localization

Tür Kitap

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-3-642-41707-8

Kayıt Numarası bba83f7d-8d80-4627-8f46-76daee66e796

Lokasyon Computer Science

Tarih 2013

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin 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