testing

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
POLLUX: Safely Upgrading Dependent Application Libraries
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
PDF Cite
POLLUX: Safely Upgrading Dependent Application Libraries
Accelerated Test Execution using GPUs
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
PDF Cite
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
PDF Cite