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)

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