Research Article

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

Table 7

Coverage achieved by BFS-BB on branch_bound.c.

Coverage criterionNumber of pathsAverage coverage %Generation time reduced by IVR %Average MPC checks per relevant variable

Statement 61100341.34
Branch 119100371.73
MC/DC12598422.29