Browsing Computer Science and Automation (CSA) by Subject "Atomicity Violations"
Now showing items 1-1 of 1
-
Targeted Client Synthesis for Detecting Concurrency Bugs
(2018-01-01)Detecting concurrency bugs can be challenging due to the intricacies associated with their manifestation. These intricacies correspond to identifying the methods that need to be invoked concurrently, the inputs passed to ...