| Verifying array manipulating programs with full-program induction S Chakraborty, A Gupta, D Unadkat International Conference on Tools and Algorithms for the Construction and …, 2020 | 27 | 2020 |
| Verifying array manipulating programs by tiling S Chakraborty, A Gupta, D Unadkat International Static Analysis Symposium, 428-449, 2017 | 23 | 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 | 22 | 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 | 15 | 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 |
| 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 | 5 | 2022 |
| Diffy: inductive reasoning of array programs using difference invariants, April 2021 S Chakraborty, A Gupta, D Unadkat | 4 | |
| Diffy: inductive reasoning of array programs using difference invariants (2021) S Chakraborty, A Gupta, D Unadkat | 4 | |
| Assertion checking using dynamic inference A Yeolekar, D Unadkat Haifa Verification Conference, 199-213, 2013 | 1 | 2013 |
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
