Academic
Academic
Home
News
Courses
Publications
Students
Contact
Light
Dark
Automatic
Symoblic Execution
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
In ICST 2021
Dhriti Khanna
,
Rahul Purandare
,
Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
In ICSME 2020
Dhriti Khanna
,
Rahul Purandare
,
Subodh Sharma
PDF
Cite
Cite
×