• Targeted Client Synthesis for Detecting Concurrency Bugs 

      Samak, Malavika (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 ...