Login / Signup
Asia A
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Attribute Grammars
Unit Testing
Automated Tools
Delay Insensitive
Top Venues
CoRR
ENASE
ISSRE Workshops
</>
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)