Design test cases for the program below. And make the test cases satisfy the branch coverage standard. You don't need to write their expected results. (10 points) public void work ( int x, int y, int z) { int k = 0, j = 0; if ((x>3) && (z10)) j=x* y + 10; j=j%3; }