Concretization of abstracted traces

A computerized apparatus having a processor, the computerized apparatus comprising:

• a receiver configured to receive an execution of an abstraction of a target device;
• a probability module configured to determine at least one non-deterministic decision associated with the target device based on a probability function;
• an execution module configured to execute the target device, the execution module is configured to utilize said probability module to determine the at least one non-deterministic decision;
• a similarity estimation module configured to determine a measurement of similarity between the execution of the abstraction and the execution of the target device by said execution module;
• and
• a probability function modifier configured to modify the probability function utilized by said probability module based on the measurement of similarity determined by said similarity estimation module.

A computer program product comprising:

• a computer readable medium;
• a first program instruction for receiving the execution of the abstraction of the target device;
• a second program instruction for executing the target device using a processor;
• said second program instruction comprises a third program instruction for performing an at least one non-deterministic decision of the target device based on a probability function;
• a fourth program instruction for determining a measurement of similarity between the execution of the abstraction and the execution of the target device;
• a fifth program instruction for modifying the probability function in response to said determining the measurement of similarity;
• and
• wherein said first, second, third, fourth and fifth program instructions are stored on said computer readable medium.