1. A computer-implemented method for guiding a simulation of a System Under Test (SUT) to reach a coverage goal, the method comprising: receiving a coverage goal associated with the SUT; simulating an execution of the SUT using a processor; said simulating the execution of the SUT comprises: performing at least one non-deterministic decision of the SUT based on a probability function; determining a measurement of similarity between a trace obtained from the simulated execution and an abstract trace covering the coverage goal, wherein the abstract trace is a trace obtained from an execution of an abstracted model of the SUT; and in response to said determining the measurement of similarity, modifying the probability function; determining a convergence rate of the trace to the abstract trace based upon at least three measurements of similarity; wherein the convergence rate is defined as a rate of improvement in similarity; and in respect to the convergence rate falling below a threshold of less than 10% improvement between two iterations, outputting an indication that the coverage goal is not reachable, wherein said simulating the execution of the SUT, said determining the measurement of similarity, and said modifying the probability function are performed iteratively.