Patent ID: 8898100
Filing Date: 2014-11-25
Classification: G06N

Abstract:
1. A non-transitory computer-readable medium tangibly embodied in a storage device encoded with instructions that, when executed on a processor, perform a method in a computer system, the method comprising: detecting for a potential read-write error and a potential write-write error in a rule-driven system; detecting a potential error in the rule-driven system, the potential error comprising at least one detected potential read-write error or at least one detected potential write-write error; constructing a representation of the rule-driven system, the representation including the potential error; generating test results by symbolically executing test cases based on the constructed representation, wherein the test cases comprise less than all rules of the rule-driven system; determining a likelihood that the detected potential error will be encountered during operation of the rule-driven system based on the symbolic execution; and reporting the test results.