Question: symbolically execute the following java code ie create a symbolic...

Symbolically execute the following Java code (i.e., create a symbolic execution tree) to determine and return the minimum of three inputs and determine if it ever returns the wrong result.

static int minimum(int a, int b, int c) {

  int min = a;

  

  if(min > b) {

  

  min = b;

  

  if(min > c) {

  

  min = c;

  }

  

  }

  

  return min;

}

Discuss the symbolic values and path conditional in the symbolic execution tree to justify your choice. If the code is incorrect, provide a concrete set of values that illustrates the error.