P

Inventor

GODLIN BENYAMIN

IL4 patents
⚠️ This page may combine multiple inventors who share the name “GODLIN BENYAMIN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US8056059B2Nov 8, 2011

Using cross-entropy to test executable logic code

IBM9 citations82
US7921411B2Apr 5, 2011

Model checking of non-terminating software programs

IBM7 citations82
US7853932B2Dec 14, 2010

System, method and computer program product for checking a software entity

IBM6 citations60

CHOCKLER HANA

1 patent
US8327334B2Dec 4, 2012

Replay of program executions using cross-entropy

CHOCKLER HANA9 citations80