3
Publications
130
Citations
3
H-Index
1996
Active since
Mike Benjamin is an author at IBM Research - Haifa specializing in computer science, verification, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationDesignSoftware DesignTest GenerationLanguage TestingProgram Analysis
Publications per year
1996–2001
3
3
A study in coverage-driven test generation
Mike Benjamin, Daniel Geist, Alan Hartman et al. · 1999 · 87 citations · Full text
Functional verification methodology of Chameleon processor
Françoise Casaubieilh, Geoff Barrett, Christian Berthet et al. · 1996 · 32 citations
Semi-formal test generation with genevieve
J. Dushina, Mike Benjamin, Daniel Geist · 2001 · 11 citations
Rows per page
1–3 of 3