Abstract: Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.

Abstract: Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system applies a weight assignment technique to the behavioral model to create a set of global identifiers (IDs), which correspond to test cases of the behavioral model. The system then generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.

Abstract: Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system applies a weight assignment technique to the behavioral model to create a set of global identifiers (IDs), which correspond to test cases of the behavioral model. The system then generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.

Abstract: Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.

Abstract: The present invention relates to a system and methods for identifying differential peptide expression in one or more peptide populations. Each population is labeled with a discernable label and provides a mechanism to resolve mixed peptide populations using mass spectroscopy-based techniques. Spectra produced by the peptide sample are used to interrogate a spectral database in which peptide sequences of known spectra are stored. In addition to providing sequence information, the methods presented herein may be used to determine qualitative and quantitative measurements of peptide expression. These measurements may further be used to determine proteomic differences and novel peptide expression.

Abstract: The present invention relates to a system and methods for facilitating the analysis of proteomic expression data. In this system, complex sequence-correlated peptide expression information and mass spectrum data are processed and stored in a relational database. Using a parallel computational method, the expression data and results are parsed and associated to rapidly yield peptide sequence information. The system automates necessary tasks associated with peptide data analysis and organizes large amounts of information needed to perform the data analysis in a logical and accessible manner.