Amey Zare

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Variable Precision Rough Set

Test Case Generation

Attribute Grammars

Automated Tools

Top Venues

ENASE (Selected Papers)

Publications

Advaita Datar, Amey Zare, R. Venkatesh, Asia A
Towards Synthesis of Code for Calculations Using Their Specifications. ENASE (2023)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. ISSRE Workshops (2022)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. CoRR (2022)
Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma
Scaling Test Case Generation For Expressive Decision Tables. ICST (2020)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
Cost-effective Functional Testing of Reactive Software. ENASE (2015)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
On Generating Test Cases from EDT Specifications. ENASE (Selected Papers) (2015)