Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Racy Tests"
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 ...