| Verifying array manipulating programs with full-program induction S Chakraborty, A Gupta, D Unadkat Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 24 | 2020 |
| Verifying array manipulating programs by tiling S Chakraborty, A Gupta, D Unadkat International Static Analysis Symposium, 428-449, 2017 | 20 | 2017 |
| Diffy: Inductive Reasoning of Array Programs Using Difference Invariants S Chakraborty, A Gupta, D Unadkat Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 17 | 2021 |
| 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 | 16 | 2020 |
| Scaling model checking for test generation using dynamic inference A Yeolekar, D Unadkat, V Agarwal, S Kumar, R Venkatesh 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 12 | 2013 |
| Diffy: inductive reasoning of array programs using difference invariants, April 2021 S Chakraborty, A Gupta, D Unadkat DOI: https://doi. org/10.6084/m9. figshare 14509467, 0 | 4 | |
| Diffy: inductive reasoning of array programs using difference invariants (2021) S Chakraborty, A Gupta, D Unadkat | 4 | |
| Full-program induction: verifying array programs sans loop invariants S Chakraborty, A Gupta, D Unadkat International Journal on Software Tools for Technology Transfer 24 (5), 843-888, 2022 | 3 | 2022 |
| Assertion checking using dynamic inference A Yeolekar, D Unadkat Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 1 | 2013 |
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT Bombayiitb.ac.in의 이메일 확인됨
