팔로우
Divyesh Unadkat
Divyesh Unadkat
Research Scholar, Indian Institute of Technology Bombay, Mumbai and Researcher, TCS Research, Pune
tcs.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
162020
Verifying array manipulating programs by tiling
S Chakraborty, A Gupta, D Unadkat
International Static Analysis Symposium, 428-449, 2017
132017
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
S Chakraborty, A Gupta, D Unadkat
International Conference on Computer Aided Verification, 911-935, 2021
122021
Veriabs: Verification by abstraction and test generation (competition contribution)
M Afzal, S Chakraborty, A Chauhan, B Chimdyalwar, P Darke, A Gupta, ...
International Conference on Tools and Algorithms for the Construction and …, 2020
102020
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
102013
Assertion checking using dynamic inference
A Yeolekar, D Unadkat
Haifa Verification Conference, 199-213, 2013
12013
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
2022
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–7