Path-Wise Test Data Generation Based on Heuristic Look-Ahead Methods

Figure 2

Program test and its counterpart with branching conditions decomposed into basic functions.