Patent Document ID: 8639490
Application ID: 12719019
Patent Flag: 1

Claim One:
1. A computer-implemented method comprising: receiving an abstract trace of an execution of an abstraction of a target device, the abstract trace may or may not be feasible in the target device; utilizing a cross-entropy method to guide executions of the target device to correlate with the abstract trace, wherein said guiding executions is performed by a computer, wherein said guiding executions comprises: repeatedly generating a random concrete trace using a probability function and updating the probability function to reduce cross-entropy with relation to a next randomly generated concrete trace and the abstract trace, wherein said repeatedly generating and updating is performed until a measurement of similarity between the randomly generated concrete trace and the abstract trace is within a predetermined range or until a halting condition is met, wherein the probability function is used to determine a non-deterministic decision of the target device, wherein said updating is configured to bias, but does not guarantee, generation of the next randomly generated concrete trace to be different than the random concrete trace.