Paper accepted at ICST 2021

Paper titled "Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks" authored by Dhriti Khanna, Dr. Rahul Purandare, and Dr. Subodh Sharma (Faculty, IIT Delhi) has been accepted for publication in IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021. 

The work presents a novel technique to systematically synthesize multi-threaded test cases to expose communication deadlocks for Java classes. The authors model these deadlocks as global constraints over the events of two sequential program traces of the library APIs and use constraint solvers to predict the presence of a potential deadlock.