Bharti Chimdyalwar

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Topics

Static Analysis

Test Generation

Software Systems

Top Venues

Publications

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) (2023)
Priyanka Darke, Bharti Chimdyalwar
OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems. ICSME (2023)
Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
Fast Analysis of Evolving Software Systems. ISSRE Workshops (2022)
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)
Bharti Chimdyalwar, Shrawan Kumar
Selective path-sensitive interval analysis (WIP paper). LCTES (2021)
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
Fast Change-Based Alarm Reporting for Evolving Software Systems. ISSRE (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Bharti Chimdyalwar, Priyanka Darke
Statically relating program properties for efficient verification (short WIP paper). LCTES (2018)
Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. ICST (2017)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
VeriAbs: Verification by Abstraction (Competition Contribution). TACAS (2) (2017)
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking. DATE (2015)
Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. FM (2015)
Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri
Precise range analysis on large industry code. ESEC/SIGSOFT FSE (2013)
Bharti Chimdyalwar
Survey of array out of bound access checkers for C code. ISEC (2012)
Bharti Chimdyalwar, Shrawan Kumar
Effective false positive filtering for evolving software. ISEC (2011)