Scaling Bounded Model Checking by Transforming Programs with Arrays. - Anushri Jana; Uday P. Khedker; Advaita Datar; R. Venkatesh 001; Niyas C (LOPSTR, 2016)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

VeriAbs : Verification by Abstraction and Test Generation. - Mohammad Afzal; Asia A; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Advaita Datar; Shrawan Kumar 001; R. Venkatesh 001 (ASE, 2019)

Automated Validation of Insurance Applications against Calculation Specifications. - Advaita Datar; Amey Zare; Asia A; R. Venkatesh 001; Shrawan Kumar 001; Ulka Shrotri (ISSRE Workshops, 2022)

Towards Synthesis of Code for Calculations Using Their Specifications. - Advaita Datar; Amey Zare; R. Venkatesh 001; Asia A (ENASE, 2023)