Java

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
In ICST 2021
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
In ICSME 2020
PDF Cite