Fast and correct 4. The following method calculatePoints calculates the number of loyalty points to rewardpassengers with for making in-flight purchases. The number of points depends on thevalue of the item purchased and whether it is duty-free.I public int calculatePoints (double value, boolean dutyFree, int numFlights) {int points = 0;if (dutyFree) {234if (value > 25)points +=3;56else if (value > 20)points += 2;else if (value > 10)7points += 1;9.} else {10points += 1;1112if (points > 2 && !dutyfree) {points += 113141516return points;17(a) Symbolic Execution: Build the symbolic execution tree for the calculatePoints methodand use it to derive a suitable test set. Each node in the tree should include the cur-rent path condition.

The following method calculatePoints calculates the number of loyalty points to reward passengers with for making in-flight purchases. The number of points depends on the value of the item purchased and whether it is duty-free. public int calculatePoints (double value, boolean dutyFree, int numFlights) { int points 0; if (dutyFree){ if (value > 25) points +=3; else if (value > 20) points += 2; else if (value > 10) points += 1; } else { points += 1; if (points > 2 && !dutyfree) ( points + 1 return points; (a) Symbolic Execution: Build the symbolic execution tree for the calculatePoints method and use it to derive a suitable test set. Each node in the tree should include the cur- rent path condition.