Assertion Checking Using Dynamic Inference. - Anand Yeolekar; Divyesh Unadkat (Haifa Verification Conference, 2013)

Scaling Model Checking for Test Generation Using Dynamic Inference. - Anand Yeolekar; Divyesh Unadkat; Vivek Agarwal; Shrawan Kumar 001; R. Venkatesh 001 (ICST, 2013)

Verifying Array Manipulating Programs by Tiling. - Supratik Chakraborty; Ashutosh Gupta 001; Divyesh Unadkat (SAS, 2017)

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). - Mohammad Afzal; Supratik Chakraborty; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Ashutosh Gupta 001; Shrawan Kumar 001; Charles Babu M; Divyesh Unadkat; R. Venkatesh 001 (TACAS (2), 2020)

Verifying Array Manipulating Programs with Full-Program Induction. - Supratik Chakraborty; Ashutosh Gupta 001; Divyesh Unadkat (TACAS (1), 2020)

Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. - Supratik Chakraborty; Ashutosh Gupta 001; Divyesh Unadkat (CAV (2), 2021)

Full-program induction: verifying array programs sans loop invariants. - Supratik Chakraborty; Ashutosh Gupta 001; Divyesh Unadkat (Int. J. Softw. Tools Technol. Transf., 2022)