Benny Godlin

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Directed Acyclic Graph

Symbolic Execution

Polynomial Regression

Top Venues

J. Log. Comput.

Softw. Test. Verification Reliab.

Publications

Benny Godlin, Ofer Strichman
Regression verification: proving the equivalence of similar programs. Softw. Test. Verification Reliab. 23 (3) (2013)
Benny Godlin, Emilia Katz, Johann A. Makowsky
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas. J. Log. Comput. 22 (2) (2012)
Benny Godlin, Ofer Strichman
Inference Rules for Proving the Equivalence of Recursive Procedures. Essays in Memory of Amir Pnueli (2010)
Ilya Averbouch, Benny Godlin, Johann A. Makowsky
An extension of the bivariate chromatic polynomial. Eur. J. Comb. 31 (1) (2010)
Benny Godlin, Ofer Strichman
Regression verification. DAC (2009)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy-Based Replay of Concurrent Programs. FASE (2009)
Benny Godlin, Ofer Strichman
Inference rules for proving the equivalence of recursive procedures. Acta Informatica 45 (6) (2008)
Ilya Averbouch, Benny Godlin, Johann A. Makowsky
A Most General Edge Elimination Polynomial. WG (2008)
Benny Godlin, Tomer Kotek, Johann A. Makowsky
Evaluations of Graph Polynomials. WG (2008)
Benny Godlin, Emilia Katz, Johann A. Makowsky
Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR (2008)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy Based Testing. FMCAD (2007)
Johann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin
Computing Graph Polynomials on Graphs of Bounded Clique-Width. WG (2006)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)
Ofer Strichman, Benny Godlin
Regression Verification - A Practical Way to Verify Programs. VSTTE (2005)