Follow
Anushri Jana
Anushri Jana
TCS Research
Verified email at tcs.com
Title
Cited by
Cited by
Year
Scaling bounded model checking by transforming programs with arrays
A Jana, UP Khedker, A Datar, R Venkatesh
Logic-Based Program Synthesis and Transformation: 26th International …, 2017
142017
Precise detection of uninitialized variables using dynamic analysis-Extending to aggregate and vector types
A Jana, R Naik
2012 19th Working Conference on Reverse Engineering, 197-201, 2012
102012
Towards assuring non-recurrence of faults leading to transaction outages: an experiment with stable business applications
A Agrawal, R Naik
Proceedings of the 4th India Software Engineering Conference, 107-110, 2011
62011
Fast change-based alarm reporting for evolving software systems
A Jana, A Khadsare, B Chimdyalwar, S Kumar, V Ghime, R Venkatesh
2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021
52021
Ir mapping: Intermediate representation (ir) based mapping to facilitate incremental static analysis
V Ghime, A Khadsare, A Jana, B Chimdyalwar
Proceedings of the 15th Innovations in Software Engineering Conference, 1-5, 2022
42022
Data structure abstraction for model checking
V Ramanathan, A Jana
US Patent 10,534,689, 2020
42020
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems
B Chimdyalwar, A Jana, S Kumar, A Khadsare, V Ghime
2022 IEEE International Conference on Software Analysis, Evolution and …, 2022
12022
Method and system for identifying relevant changes for incremental verification of evolving software
B Chimdyalwar, A Jana, S Kumar
US Patent App. 18/060,591, 2023
2023
Method and system for mapping intermediate representation objects for facilitating incremental analysis
A Jana, AS Khadsare, VM Ghime, B Chimdyalwar
US Patent App. 18/146,702, 2023
2023
Method and system for identifying static analysis alarms based on semantics of changed source code
A Jana, AS Khadsare, VM Ghime, R Venkatesh, B Chimdyalwar, S Kumar
US Patent App. 17/949,390, 2023
2023
Fast Analysis of Evolving Software Systems
A Jana, B Chimdyalwar, S Kumar, R Venkatesh
2022 IEEE International Symposium on Software Reliability Engineering …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–11