Patent · US Active

Concretization of abstracted traces

US8639490B2 · kind B2 · utility

2Cited by

4References

14Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Hana Chockler · Haifa, IL
Sharon Keidar-Barner · Yoqneam Illit, IL

Key dates

Filing date	Mar 8, 2010
Grant date	Jan 28, 2014
Priority date	—
Expiry date	Dec 26, 2031

Classification

Technology area (CPC G)Physics
CPC primaryG06F9/44
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A trace associated with an abstraction of a target device is utilized to guide an execution of the target device to be substantially similar to the trace. An execution of the target device determines a non-deterministic decision based on a probability function. The probability function is configured to increase the likelihood that the execution will be substantially similar to the abstracted trace. Cross-entropy method may be utilized to guide the execution of the target device.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.