Design path-complete test cases for each of the programs below.

(a)

int max(int x, int y, int z) {

if (x>y)

if (x>z) return x; else return z;

if (y>z) return y; else return z;

}

(b)

while(x>0) {

if (y<0) {do something and then break;}

do something;

x--; y--;

}