Inventor
CHOCKLER HANA
IL10 patents
⚠️ This page may combine multiple inventors who share the name “CHOCKLER HANA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
5 patentsUS8056059B2Nov 8, 2011
Using cross-entropy to test executable logic code
IBM9 citations82
US7921411B2Apr 5, 2011
Model checking of non-terminating software programs
IBM7 citations82
US9389984B2Jul 12, 2016
Directing verification towards bug-prone portions
IBM6 citations71
US7853932B2Dec 14, 2010
System, method and computer program product for checking a software entity
IBM6 citations60
US8856755B2Oct 7, 2014
Dominant-state-based coverage metric
IBM0 citations49
CHOCKLER HANA
4 patentsUS8327334B2Dec 4, 2012
Replay of program executions using cross-entropy
CHOCKLER HANA9 citations80
US8996339B2Mar 31, 2015
Incremental formal verification
CHOCKLER HANA4 citations69
US8639490B2Jan 28, 2014
Concretization of abstracted traces
CHOCKLER HANA2 citations60
US8903700B2Dec 2, 2014
Concretization of abstracted traces
CHOCKLER HANA1 citations49