A. Asia is an author at Tata Technologies (India) specializing in computer engineering, automated reasoning, and test generation.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2019–2019
1
1
VeriAbs : Verification by Abstraction and Test Generation
Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations
Rows per page
1–1 of 1