Prathima Kotikalapudi is an author at New York University specializing in computer engineering, formal methods, and software testing.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2023–2023
1
1
P4Testgen: An Extensible Test Oracle For P4
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi et al. · 2023 · 14 citations
Engineering, Computational Testing, Runtime Verification +15
Rows per page
1–1 of 1