S. Bhatia is an author at Princeton University specializing in formal methods, design for testing, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingDesign For TestingComputer EngineeringComputer ArchitectureFormal VerificationSoftware Engineering
Publications per year
1998–2002
5
5
A unifying methodology for intellectual property and custom logic testing
S. Bhatia, T. Gheewala, P. Varma · 2002 · 49 citations
Rows per page
1–5 of 5