PET: Partial Evaluation-based Test Case Generator for Bytecode

package ints;

public class Fibonacci{

    public static int fibRec(int n){
  if (n < 0throw new ArithmeticException();
  else if (n == 0return 1;
  else if (n == 1return 1;
  else return fibRec(n-1+ fibRec(n-2);
    }

    public static int fibIter(int n){
  int aux;
  int act = 1;
  int pre = 1;
  while (n > 1){
      aux = act;
      act = pre + act;
      pre = aux;
      n--;
  }
  return act;
    }

    public static int[] fibSequence(int n){
  if (n < 0throw new ArithmeticException();
  int[] out = new int[n+1];
  out[01;
  if (n == 0return out;
  out[11;
  for (int i = 1;i < n;i++)
      out[i+1= out[i+ out[i-1];
  return out;
    }
    /*
    public static void main(String[] args){
  int[] fs = fibSequence(10);
  for (int i = 0;i < fs.length;i++)
      System.out.print(fs[i] + " ");
    }
    */

}

The Java2Html library is used for displaying source code.