Cost-effective Functional Testing of Reactive Software. - R. Venkatesh 001; Ulka Shrotri; Amey Zare; Supriya Agrawal (ENASE, 2015)

On Generating Test Cases from EDT Specifications. - R. Venkatesh 001; Ulka Shrotri; Amey Zare; Supriya Agrawal (ENASE (Selected Papers), 2015)

Scaling Test Case Generation For Expressive Decision Tables. - Supriya Agrawal; R. Venkatesh 001; Ulka Shrotri; Amey Zare; Sagar Verma (ICST, 2020)

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)