3. The method of claim 2 , wherein the step of determining a set of indication points further comprises: determining a location, in the control-flow graph, for each execution path of the set of next execution paths to be processed.
4. The method of claim 3 , wherein the step of determining a next symbolic simulation operation to be performed further comprises: determining a type of node indicated by an execution path of the set of next execution paths to be processed.