A. Asia

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Symbolic Execution

Design Automation

Test Generation

Top Venues

Publications

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)