Browsing Theses and Dissertations(library) by Author "Xu, Jing"
Now showing items 1-1 of 1
-
FAULT DETECTION AND LOCALIZATION TECHNIQUES FOR CONCURRENT PROGRAMS
Xu, Jing (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. ...