Patent ID: 8892951

Claim:
A method comprising: utilizing at least one processor to execute computer code configured to perform the steps of: assimilating a program, the program comprising statements, each statement comprising at least one statement type; modeling output behavior of an occurrence of one of the statements; said modeling comprising: mapping a statement type, of the one of the statements, to behavior classification rules stored in a repository; and describing the behavior of the mapped statement type with respect to a property as a set of behavior classes, each behavior class comprising a non-overlapping, fault-relevant set of possible values of the property; each behavior classification rule comprising: a computation expression; and at least one domain-relevant function; executing the mapped behavior classification rules and thereby obtaining behavior classes for the statement occurrence; annotating the statement occurrence with the behavior classes; said annotating comprising annotating passing and failing input spectra; differencing the annotated passing and failing input spectra to yield a difference; and localizing a fault via employing the difference.