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

Table 2

An example of bisection.

Current variable	Monotonicity	Tendency	Current value	Domain before bisection	Domain after bisection
𝑥1	Increasing	Positive	𝑉1	[min1, max1]	[𝑉1+1, max1]
𝑥2	Decreasing	Negative	𝑉2	[min2, max2]	[min2, 𝑉2−1]