Amey Zare

According to our database, Amey Zare authored at least 5 papers between 2015 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

2020

Scaling Test Case Generation For Expressive Decision Tables.

Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2015

On Generating Test Cases from EDT Specifications.

R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2015

Cost-effective Functional Testing of Reactive Software.

R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal

Proceedings of the ENASE 2015, 2015