Asia A

According to our database, Asia A authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

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