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 | 14 | 2017 |
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 | 10 | 2012 |
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 | 6 | 2011 |
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 | 5 | 2021 |
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 | 4 | 2022 |
Data structure abstraction for model checking V Ramanathan, A Jana US Patent 10,534,689, 2020 | 4 | 2020 |
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 | 1 | 2022 |
Method and system for incremental functional approach-based dataflow analysis A Jana, B Chimdyalwar, R Venkatesh, S Kumar US Patent App. 18/243,710, 2024 | | 2024 |
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 |