Divyesh Unadkat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2020 | TACAS | VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). | Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh |
| 2020 | TACAS | Verifying Array Manipulating Programs with Full-Program Induction. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2017 | SAS | Verifying Array Manipulating Programs by Tiling. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2013 | ICST | Scaling Model Checking for Test Generation Using Dynamic Inference. | Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |