Advaita Datar

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Bounded Model Checking

Test Generation

Automated Tools

Top Venues

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)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR (2016)