Shrawan Kumar is an author at Tata Technologies (India) specializing in computer science, software analysis, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringVerification
Publications per year
2011–2019
3
3
VeriAbs : Verification by Abstraction and Test Generation
Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations
Rows per page
1–3 of 3