Question 12
Consider the following code segment.
Based on the above data, answer the given subquestions.
Suppose the DART technique is applied for testing the code. Identify the path constraint that represents an equivalence class of input vectors containing all input values that lead to the abort statement at LINE-2.