VeriAbs: Verification by abstraction and test generation M Afzal, A Asia, A Chauhan, B Chimdyalwar, P Darke, A Datar, S Kumar, ... 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 47 | 2019 |
Over-approximating loops to prove properties using bounded model checking P Darke, B Chimdyalwar, R Venkatesh, U Shrotri, R Metta 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 26 | 2015 |
Eliminating static analysis false positives using loop abstraction and bounded model checking B Chimdyalwar, P Darke, A Chavda, S Vaghani, A Chauhan FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 23 | 2015 |
VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution) P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 21 | 2018 |
Effective false positive filtering for evolving software B Chimdyalwar, S Kumar Proceedings of the 4th India Software Engineering Conference, 103-106, 2011 | 18 | 2011 |
VeriAbs: Verification by abstraction (competition contribution) B Chimdyalwar, P Darke, A Chauhan, P Shah, S Kumar, R Venkatesh Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 17 | 2017 |
Precise range analysis on large industry code S Kumar, B Chimdyalwar, U Shrotri Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 15 | 2013 |
Veriabs: Verification by abstraction and test generation (competition contribution) M Afzal, S Chakraborty, A Chauhan, B Chimdyalwar, P Darke, A Gupta, ... Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 14 | 2020 |
Survey of array out of bound access checkers for c code B Chimdyalwar Proceedings of the 5th India Software Engineering Conference, 45-48, 2012 | 12 | 2012 |
Statically relating program properties for efficient verification (short WIP paper) B Chimdyalwar, P Darke Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on …, 2018 | 8 | 2018 |
Efficient safety proofs for industry-scale code using abstractions and bounded model checking P Darke, B Chimdyalwar, A Chauhan, R Venkatesh 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 8 | 2017 |
VeriAbsL: Scalable verification by abstraction and strategy prediction (competition contribution) P Darke, B Chimdyalwar, S Agrawal, S Kumar, R Venkatesh, ... International Conference on Tools and Algorithms for the Construction and …, 2023 | 6 | 2023 |
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 | 5 | 2022 |
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 |
Loop abstraction for model checking PD Darke, BD Chimdyalwar, R Venkatesh, UA Shrotri US Patent 9,158,506, 2015 | 5 | 2015 |
Selective path-sensitive interval analysis (wip paper) B Chimdyalwar, S Kumar Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on …, 2021 | 2 | 2021 |
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 identifying relevant changes for incremental verification of evolving software B Chimdyalwar, A Jana, S Kumar US Patent 12,050,906, 2024 | | 2024 |
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 |
OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems P Darke, B Chimdyalwar 2023 IEEE International Conference on Software Maintenance and Evolution …, 2023 | | 2023 |