Abstract: A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.

Abstract: A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.

Abstract: A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.

Abstract: A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.

Abstract: A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.

Abstract: A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.