J. Bhadra is an author at Motorola (United States) specializing in software engineering, formal verification, and engineering.
Top concepts
EngineeringFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2003–2013
2
2
Program slicing for hierarchical test generation
V.M. Vedula, Jacob A. Abraham, J. Bhadra · 2003 · 23 citations
Engineering, Computer Architecture, Test Data Generation +20
Rows per page
1–2 of 2