Concepedia

Benny Godlin

BG

Statistics

Publications

5

Citations

314

H-Index

5

Active since

2007

Affiliations

Technion – Israel Institute of Technology(Current)

Benny Godlin is an author at Technion – Israel Institute of Technology specializing in formal methods, verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware TestingSoftware Verification

Publications per year

2007–2012

5

Publications

5

Regression verification

Benny Godlin, Ofer Strichman · 2009 · 112 citations

Program Checking, Engineering, Automated Reasoning +13

Regression verification: proving the equivalence of similar programs

Benny Godlin, Ofer Strichman · Software Testing Verification and Reliability · 2012 · 87 citations

Program Checking, Engineering, Verification +16

Inference rules for proving the equivalence of recursive procedures

Benny Godlin, Ofer Strichman · Acta Informatica · 2008 · 54 citations

Inference Rules, Engineering, Automated Reasoning +7

An extension of the bivariate chromatic polynomial

Ilia Averbouch, Benny Godlin, Johann A. Makowsky · European Journal of Combinatorics · 2009 · 49 citations

Schubert Calculus, Bivariate Chromatic Polynomial, Graph Theory +2

Cross-Entropy Based Testing

Hana Chockler, Eitan Farchi, Benny Godlin et al. · 2007 · 12 citations

Program Checking, Engineering, Verification +21

1–5 of 5