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

Figure 7

Relationship between the number of MPC checks and the number of variables for variables that are linearly related in the tightest manner.

(a)

(b)

(c)

(d)