1. A computer-implemented method for deriving a predicate, the method comprising: constructing a logic formula by executing a construction engine stored in memory, the logic formula constructed from information recorded during test execution; optimizing the logic formula by executing an optimization engine stored in memory; and computing a logical implication by executing an implication engine stored in memory, the logical implication computed of the optimized logic formula.