Published Work

Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare and Nachiappan Nagappan. Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS. IEEE Transactions on Software Engineering.

Devika Sondhi, Mayank Jobanputra, Divya Rani, Salil Purandare, Sakshi Sharma, and Rahul Purandare. Mining Similar Methods for Test Adaptation. IEEE Transactions on Software Engineering.

Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, and Rahul Purandare. On Indirectly Dependent Documentation in the Context of Code Evolution: A Study. International Conference on Software Engineering (ICSE) 2021. To appear.

Dhriti Khanna, Dr. Rahul Purandare, and Dr. Subodh Sharma. Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021. To appear.

Piyush Gupta, Nikita Mehrotra, and Rahul Purandare. Jcoffee: Using compiler feedback to make partial code snippets compilable. ICSME Tool Tracks 2020. To appear.

Devika Sondhi, Rahul Purandare. SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19). IEEE, San Diego, CA, USA. 200-212.

Devika Sondhi, Divya Rani and Rahul Purandare. 2019. Similarities Across Libraries: Making a Case for Leveraging Test Suites. 12th IEEE Conference on Software Testing, Validation and Verification (ICST'19). IEEE, Xi'an, China. 79-89.

Ph.D. Thesis, Vinayakarao V., Code variants and their retrieval using knowledge discovery based approaches.

Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare. 2018. METIS: Resource and Context-Aware Monitoring of Finite State Properties. In international Conference on Runtime Verification (RV'18). Springer, Cham, Limassol, Cyprus. 167-186.

Dhriti Khanna, Subodh Sharma, Cesar Rodríguez, Rahul Purandare. 2018. Dynamic Symbolic Verification of MPI Programs. In International Symposium on Formal Methods (FM'18). Springer, Cham, Oxford, London, UK. 466-484.


Links to tools created by the group

Get in touch with us

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