Raj Kumar Gajavelly is an author at IBM Research - Haifa specializing in formal methods, computer engineering, and formal verification.
Top concepts
FuzzingEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2016–2016
1
1
The art of semi-formal bug hunting
Pradeep K. Nalla, Raj Kumar Gajavelly, Jason Baumgartner et al. · 2016 · 15 citations
Rows per page
1–1 of 1