Browsing Computer Science and Automation (CSA) by Subject "Shared Memory"
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 ...