Search
Now showing items 1-1 of 1
Spectrum-based fault localization for diagnosing concurrency faults
(Springer Science+Business Media, 2013)
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 ...
Share this page