Rahul T. Sriniva is an author at Arizona State University specializing in computer engineering, program analysis, and formal methods.
Top concepts
EngineeringData ScienceVerificationFormal MethodsHybrid SystemsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2015–2015
1
1
Requirements driven falsification with coverage metrics
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva et al. · 2015 · 30 citations
Rows per page
1–1 of 1