Advaita Datar

According to our database, Advaita Datar authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Towards Synthesis of Code for Calculations Using Their Specifications.

Advaita Datar, Amey Zare, R. Venkatesh, Asia A

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Automated Validation of Insurance Applications against Calculation Specifications.

Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2016

Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016