Vaidehi Ghime

According to our database, Vaidehi Ghime authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.

Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime

Proceedings of the IEEE International Conference on Software Analysis, 2022

IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.

Vaidehi Ghime, Ankita Khadsare, Anushri Jana, Bharti Chimdyalwar

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

2021

Fast Change-Based Alarm Reporting for Evolving Software Systems.

Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021