Patent ID: 7493522

Claim:
One or more computer storage media storing computer executable instructions, wherein execution of the computer executable instructions causes a computer to perform a process that implements an interface, the process comprising: at an implementation of the interface: generating a working model of a program by reading a model description with a first format, the model description describing transitions between states that correspond to transitions between states of the program; loading a test path and mapping it to the working model; at a reduction engine having the interface: reducing the test path; causing the program to execute according to the reduced test path; and determining whether the execution of the reduced test path reproduced a same program condition as the original unreduced test path; at another implementation of the interface: generating another working model of another program by reading another model description with a second format, the other model description describing transitions between states that correspond to transitions between states of the other program; loading another test path and mapping it to the other working model; and at the reduction engine having the interface: reducing the other test path; causing the other program to execute according to the reduced other test path; and determining whether the execution of the other reduced test path reproduced a same program condition as the other original unreduced test path.