10. The method of claim 1 , wherein the step of determining a set of indication points further comprises: determining a first execution path indicates, in the input representation, an evaluation of a conditional.
32. The method of claim 10 , wherein the step of determining a next symbolic simulation operation to be performed further comprises: analyzing the conditional as being of a first type; applying a decision procedure corresponding to the first type.