Search
Now showing items 1-1 of 1
FAULT DETECTION AND LOCALIZATION TECHNIQUES FOR CONCURRENT PROGRAMS
(2016-12-21)
Concurrency faults are hard to detect and localize due to the nondeterministic behavior of concurrent programs. In this dissertation, we present three approaches to detecting and localizing faults in concurrent programs. ...