Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions. Consider that concolic testing technique (DART) is used to test the following code segment. Which of the following sets of concrete test inputs execute all instances of symbolic execution for the method ?

(B) {x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}

(A) {x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}

(C) {x = 5, y = 3, z = 5}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}

(D) {x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 4}

Software Testing · Quiz 2 · 12 Apr 2026 · January 2026 term

Question 20: Consider that concolic testing technique (DART) is used …

Question 20

+5 marksOne correct option

Consider that concolic testing technique (DART) is used to test the following code segment.

Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions.

Which of the following sets of concrete test inputs execute all instances of symbolic execution for the method ?

A
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}
B
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}
C
{x = 5, y = 3, z = 5}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}
D
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 4}

Show answer

Correct answer

B
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}

See the whole paper Take it as a mock test

Question 20 of 24 in the IIT Madras BS Software Testing (Software Testing) Quiz 2 paper sat on 12 Apr 2026, in the January 2026 term (Sw Testing 07 Apr 26). It carries 5 marks.

Question 20: Consider that concolic testing technique (DART) is used …

Question 20

More questions from this paper