Table REF  summarizes our regression model for
precision, using the same format as Table REF . We
measure precision as the number of array indexes proven to be in
bounds. As recommended by Arcuri and
Briand [1]}, we omit from the
regression those configurations that timed out.The
alternative of setting precision to be 0 would misrepresent the
general power of a configuration, particularly when combined with
runs that did not time out. Fewer runs might reduce statistical
power, however, which is captured in the model. We see several
interesting trends.
