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

Table 6

Domain changes in the search process.

Stage	Function	Before IDC	After IDC and before MPC	After MPC
Initialization	Initial domain reduction	—	𝑥1: [−2, 2], 𝑥2: [−2, 2], 𝑥3: [−2, 2]	𝐱𝟏: [−1, 2 ], 𝐱𝟐: [−2, 1 ], 𝐱𝟑: [−1, 2 ]
State space search	MPC check when 𝑥2 is assigned −1	𝑥1: [−1, 2], 𝑥2: [−2, 1], 𝑥3: [−1, 2]	𝑥1: [−1, 2], 𝐱𝟐: [−1, −1 ], 𝑥3: [−1, 2]	𝐱𝟏: [ 0, 2 ], 𝑥2: [−1, −1], 𝐱𝟑: [ 0, 2 ]
	MPC check when 𝑥1 is assigned 1	𝑥1: [0, 2], 𝑥2: [−1, −1], 𝑥3: [0, 2]	𝐱𝟏: [ 1, 1 ], 𝑥2: [−1, −1], 𝑥3: [0, 2]	𝑥1: [1, 1], 𝑥2: [−1, −1], 𝑥3: [0, 2]
	MPC check when 𝑥3 is assigned 1	𝑥1: [1, 1], 𝑥2: [−1, −1], 𝑥3: [0, 2]	𝑥1: [1, 1], 𝑥2: [−1, −1],; 𝐱𝟑: [ 1, 1 ]	𝑥1: [1, 1], 𝑥2: [−1, −1],; 𝑥3: [1, 1]