Symoblic Execution

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