Concepedia

Bhaskar Pal

BP

Statistics

Publications

2

Citations

27

H-Index

2

Active since

2006

Affiliations

Indian Institute of Technology Kharagpur(Current)

Bhaskar Pal is an author at Indian Institute of Technology Kharagpur specializing in test generation, automated reasoning, and systems engineering.

Top concepts

EngineeringVerificationTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2006–2008

2

Publications

2

Accelerating Assertion Coverage With Adaptive Testbenches

Bhaskar Pal, Ansuman Banerjee, Arnab Sinha et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 14 citations

Engineering, Verification, Test Coverage +20

Test generation games from formal specifications

Ansuman Banerjee, Bhaskar Pal, Sayantan Das et al. · 2006 · 13 citations

Engineering, Intelligent Test Generation, Verification +24

1–2 of 2