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

Table 5

DVO process for 𝑥1 and 𝑥3.

Ordering rule	Condition for each variable	Tie encountered?	Ordering result
Domain size	|𝐷1|=3, |𝐷3|=3	Yes (both have the same domain size)	𝐱𝟏→𝑥3
Rank 1	Rank 1(𝑥1) = 1, Rank 1(𝑥3) = ∞	No (𝑥1 has Rank 1 while 𝑥3 has infinity)