Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
Proceedings of the IEEE International Conference on Software Analysis, 2022
Fast Analysis of Evolving Software Systems.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.
Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022
Fast Change-Based Alarm Reporting for Evolving Software Systems.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Scaling Bounded Model Checking by Transforming Programs with Arrays.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012
Towards assuring non-recurrence of faults leading to transaction outages: an experiment with stable business applications.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011