Login / Signup
Vaidehi Ghime
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Software Developers
Metamodel
Software Systems
Maintenance Activities
Top Venues
ISEC
SANER
ISSRE
</>
Publications
</>
Bharti Chimdyalwar
,
Anushri Jana
,
Shrawan Kumar
,
Ankita Khadsare
,
Vaidehi Ghime
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
SANER
(2022)
Vaidehi Ghime
,
Ankita Khadsare
,
Anushri Jana
,
Bharti Chimdyalwar
IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.
ISEC
(2022)
Anushri Jana
,
Ankita Khadsare
,
Bharti Chimdyalwar
,
Shrawan Kumar
,
Vaidehi Ghime
,
R. Venkatesh
Fast Change-Based Alarm Reporting for Evolving Software Systems.
ISSRE
(2021)