<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Koca, Feyzullah</style></author><author><style face="normal" font="default" size="100%">Sözer, Hasan</style></author><author><style face="normal" font="default" size="100%">Rui Abreu</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Spectrum-Based Fault Localization for Diagnosing Concurrency Faults</style></title><secondary-title><style face="normal" font="default" size="100%">Testing Software and Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><pub-location><style face="normal" font="default" size="100%">Istanbul</style></pub-location><pages><style face="normal" font="default" size="100%">239–254</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>