Towards assuring non-recurrence of faults leading to transaction outages: an experiment with stable business applications. - Anushri Agrawal; Ravindra Naik (ISEC, 2011)

Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types. - Anushri Jana; Ravindra Naik (WCRE, 2012)

Scaling Bounded Model Checking by Transforming Programs with Arrays. - Anushri Jana; Uday P. Khedker; Advaita Datar; R. Venkatesh 001; Niyas C (LOPSTR, 2016)

Fast Change-Based Alarm Reporting for Evolving Software Systems. - Anushri Jana; Ankita Khadsare; Bharti Chimdyalwar; Shrawan Kumar 001; Vaidehi Ghime; R. Venkatesh 001 (ISSRE, 2021)

IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis. - Vaidehi Ghime; Ankita Khadsare; Anushri Jana; Bharti Chimdyalwar (ISEC, 2022)

Fast Analysis of Evolving Software Systems. - Anushri Jana; Bharti Chimdyalwar; Shrawan Kumar 001; R. Venkatesh 001 (ISSRE Workshops, 2022)

Identifying Relevant Changes for Incremental Verification of Evolving Software Systems. - Bharti Chimdyalwar; Anushri Jana; Shrawan Kumar 001; Ankita Khadsare; Vaidehi Ghime (SANER, 2022)