Anushri Jana

According to our database, Anushri Jana authored at least 7 papers between 2011 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

Fast Analysis of Evolving Software Systems.

Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 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

2016

Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2012

Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types.

Anushri Jana, Ravindra Naik

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011

Towards assuring non-recurrence of faults leading to transaction outages: an experiment with stable business applications.

Anushri Agrawal, Ravindra Naik

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011