COSTA: COSt and Termination Analyzer for Java Bytecode
    
    package series;
public class bubble{
public void bubbleSort(int arr[], int n) {

      int j = 0;
      boolean swap=true;
      int tmp;

      while (j<n) {
            //swap=false;

            for (int i = 0; i < n - j; i++) {
                  if (arr[i] > arr[i + 1]) {
                        tmp = arr[i];
                        arr[i] = arr[i + 1];
                        arr[i + 1] = tmp;
                        //swap=true;
                  }
            }
            j++;
      }
  }
}