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)