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.

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.