Predicate-based test generation for computer programs

The author first describes a number of existing testing strategies for simple predicates and then explains why intuitive extensions of such strategies are ineffective or impractical for testing compound predicates, which are predicates with one or more AND/OR operators. Two fault-based testing strat... View More