Program: 11397
Project: 11397
Buggy source:
protected TimeStampFormat getTickFormat(double tickInterval,final TimeStamp referenceTime){
  if (tickInterval <= Time.fromMinutes(1)) {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=posixSeconds.doubleValue() - referenceTime.toPosixSeconds();
        double elapsedTime_DAYS=Time.toDays(elapsedTime_SU);
        int elapsedTime_DAYS_WHOLE=(int)Math.floor(elapsedTime_DAYS);
        double elapsedTime_HOURS=(elapsedTime_DAYS - elapsedTime_DAYS_WHOLE) * 24;
        int elapsedTime_HOURS_WHOLE=(int)Math.floor(elapsedTime_HOURS);
        double elapsedTime_MIN=(elapsedTime_HOURS - elapsedTime_HOURS_WHOLE) * 60;
        int elapsedTime_MIN_WHOLE=(int)Math.floor(elapsedTime_MIN);
        double elapsedTime_SEC=(elapsedTime_MIN - elapsedTime_MIN_WHOLE) * 60;
        int elapsedTime_SEC_WHOLE=(int)Math.round(elapsedTime_SEC);
        if (elapsedTime_SEC_WHOLE >= 60) {
          elapsedTime_SEC_WHOLE-=60;
          elapsedTime_MIN_WHOLE+=1;
        }
        String min=elapsedTime_MIN_WHOLE < 10 ? "String_Node_Str" + elapsedTime_MIN_WHOLE : "String_Node_Str" + elapsedTime_MIN_WHOLE;
        String sec=elapsedTime_SEC_WHOLE < 10 ? "String_Node_Str" + elapsedTime_SEC_WHOLE : "String_Node_Str" + elapsedTime_SEC_WHOLE;
        return min + ':' + sec;
      }
    }
;
  }
 else   if (tickInterval <= Time.fromHours(12)) {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=posixSeconds.doubleValue() - referenceTime.toPosixSeconds();
        double elapsedTime_DAYS=Time.toDays(elapsedTime_SU);
        int elapsedTime_DAYS_WHOLE=(int)Math.floor(elapsedTime_DAYS);
        double elapsedTime_HOURS=(elapsedTime_DAYS - elapsedTime_DAYS_WHOLE) * 24;
        int elapsedTime_HOURS_WHOLE=(int)Math.floor(elapsedTime_HOURS);
        double elapsedTime_MIN=(elapsedTime_HOURS - elapsedTime_HOURS_WHOLE) * 60;
        int elapsedTime_MIN_WHOLE=(int)Math.round(elapsedTime_MIN);
        if (elapsedTime_MIN_WHOLE >= 60) {
          elapsedTime_MIN_WHOLE-=60;
          elapsedTime_HOURS_WHOLE+=1;
        }
        String hour=elapsedTime_HOURS_WHOLE < 10 ? "String_Node_Str" + elapsedTime_HOURS_WHOLE : "String_Node_Str" + elapsedTime_HOURS_WHOLE;
        String min=elapsedTime_MIN_WHOLE < 10 ? "String_Node_Str" + elapsedTime_MIN_WHOLE : "String_Node_Str" + elapsedTime_MIN_WHOLE;
        return hour + ':' + min;
      }
    }
;
  }
 else {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=posixSeconds.doubleValue() - referenceTime.toPosixSeconds();
        int elapsedTime_DAYS=(int)Math.floor(Time.toDays(elapsedTime_SU));
        return "String_Node_Str" + elapsedTime_DAYS;
      }
    }
;
  }
}

Fixed version (ground truth):
protected TimeStampFormat getTickFormat(double tickInterval,final TimeStamp referenceTime){
  if (tickInterval <= Time.fromMinutes(1)) {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=Math.abs(posixSeconds.doubleValue() - referenceTime.toPosixSeconds());
        double elapsedTime_DAYS=Time.toDays(elapsedTime_SU);
        int elapsedTime_DAYS_WHOLE=(int)Math.floor(elapsedTime_DAYS);
        double elapsedTime_HOURS=(elapsedTime_DAYS - elapsedTime_DAYS_WHOLE) * 24;
        int elapsedTime_HOURS_WHOLE=(int)Math.floor(elapsedTime_HOURS);
        double elapsedTime_MIN=(elapsedTime_HOURS - elapsedTime_HOURS_WHOLE) * 60;
        int elapsedTime_MIN_WHOLE=(int)Math.floor(elapsedTime_MIN);
        double elapsedTime_SEC=(elapsedTime_MIN - elapsedTime_MIN_WHOLE) * 60;
        int elapsedTime_SEC_WHOLE=(int)Math.round(elapsedTime_SEC);
        if (elapsedTime_SEC_WHOLE >= 60) {
          elapsedTime_SEC_WHOLE-=60;
          elapsedTime_MIN_WHOLE+=1;
        }
        if (elapsedTime_MIN_WHOLE >= 60) {
          elapsedTime_HOURS_WHOLE=0;
        }
        String min=elapsedTime_MIN_WHOLE < 10 ? "String_Node_Str" + elapsedTime_MIN_WHOLE : "String_Node_Str" + elapsedTime_MIN_WHOLE;
        String sec=elapsedTime_SEC_WHOLE < 10 ? "String_Node_Str" + elapsedTime_SEC_WHOLE : "String_Node_Str" + elapsedTime_SEC_WHOLE;
        return min + ':' + sec;
      }
    }
;
  }
 else   if (tickInterval <= Time.fromHours(12)) {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=Math.abs(posixSeconds.doubleValue() - referenceTime.toPosixSeconds());
        double elapsedTime_DAYS=Time.toDays(elapsedTime_SU);
        int elapsedTime_DAYS_WHOLE=(int)Math.floor(elapsedTime_DAYS);
        double elapsedTime_HOURS=(elapsedTime_DAYS - elapsedTime_DAYS_WHOLE) * 24;
        int elapsedTime_HOURS_WHOLE=(int)Math.floor(elapsedTime_HOURS);
        double elapsedTime_MIN=(elapsedTime_HOURS - elapsedTime_HOURS_WHOLE) * 60;
        int elapsedTime_MIN_WHOLE=(int)Math.round(elapsedTime_MIN);
        if (elapsedTime_MIN_WHOLE >= 60) {
          elapsedTime_MIN_WHOLE-=60;
          elapsedTime_HOURS_WHOLE+=1;
        }
        if (elapsedTime_HOURS_WHOLE >= 24) {
          elapsedTime_HOURS_WHOLE=0;
        }
        String hour=elapsedTime_HOURS_WHOLE < 10 ? "String_Node_Str" + elapsedTime_HOURS_WHOLE : "String_Node_Str" + elapsedTime_HOURS_WHOLE;
        String min=elapsedTime_MIN_WHOLE < 10 ? "String_Node_Str" + elapsedTime_MIN_WHOLE : "String_Node_Str" + elapsedTime_MIN_WHOLE;
        return hour + ':' + min;
      }
    }
;
  }
 else {
    return new TimeStampFormat(){
      @Override public BigDecimal parse(      String string) throws TimeStampParseException {
        throw new UnsupportedOperationException();
      }
      @Override public String format(      BigDecimal posixSeconds){
        double elapsedTime_SU=posixSeconds.doubleValue() - referenceTime.toPosixSeconds();
        int elapsedTime_DAYS=(int)Math.floor(Time.toDays(elapsedTime_SU));
        return "String_Node_Str" + elapsedTime_DAYS;
      }
    }
;
  }
}