\begin{thebibliography}{10}

\bibitem{andrews07}
J.~Andrews, F.~Li, and T.~Menzies.
\newblock Nighthawk: A two-level genetic-random unit test data generator.
\newblock In {\em IEEE ASE'07}, 2007.
\newblock Available from \url{http://menzies.us/pdf/07ase-nighthawk.pdf}.

\bibitem{antoy-hamlet-tse-jan2000}
S.~Antoy and R.~G. Hamlet.
\newblock Automatically checking an implementation against its formal
  specification.
\newblock {\em IEEE Transactions on Software Engineering}, 26(1):55--69,
  January 2000.

\bibitem{bentley90}
J.~Bentley.
\newblock K-d trees for semidynamic point sets.
\newblock In {\em Proceedings Proceedings of the 6th Annual Symposium on
  Computational Geometry, Berkley, California, United States}, pages 187--197,
  1990.

\bibitem{bey06}
A.~Beygelzimer, S.~Kakade, and J.~Langford.
\newblock Cover trees for nearest neighbor.
\newblock In {\em ICML'06}, 2006.
\newblock Available from
  \url{http://hunch.net/~jl/projects/cover_tree/cover_tree.html}.

\bibitem{brooks87}
F.~Brooks.
\newblock No silver bullet: Essence and accidents of software engineering.
\newblock {\em IEEE Computer}, 20(4):34--42, 1987.

\bibitem{claessen-hughes-quickcheck}
K.~Claessen and J.~Hughes.
\newblock {QuickCheck}: A lightweight tool for random testing of {Haskell}
  programs.
\newblock In {\em Proceedings of the Fifth ACM SIGPLAN International Conference
  on Functional Programming (ICFP '00)}, pages 268--279, Montreal, Canada,
  September 2000.

\bibitem{cobertura-website}
{Cobertura Development Team}.
\newblock Cobertura web site.
\newblock {\tt cobertura.sourceforge.net}, accessed February 2007.

\bibitem{cornett-minimum-coverage}
S.~Cornett.
\newblock Minimum acceptable code coverage.
\newblock http://www.bullseye.com/minimum.html, 2006.

\bibitem{dejong-spears-genetic}
K.~A. DeJong and W.~M. Spears.
\newblock An analysis of the interacting roles of population size and crossover
  in genetic algorithms.
\newblock In {\em First Workshop on Parallel Problem Solving from Nature},
  pages 38--47. Springer, 1990.

\bibitem{doong-frankl-tosem94}
R.-K. Doong and P.~G. Frankl.
\newblock The {ASTOOT} approach to testing object-oriented programs.
\newblock {\em ACM Transactions on Software Engineering and Methodology},
  3(2):101--130, April 1994.

\bibitem{frank03}
E.~Frank, M.~Hall, and B.~Pfahringer.
\newblock Locally weighted naive bayes.
\newblock In {\em Proceedings of the Conference on Uncertainty in Artificial
  Intelligence}, pages 249--256. Morgan Kaufmann, 2003.

\bibitem{hall03}
M.~Hall and G.~Holmes.
\newblock Benchmarking attribute selection techniques for discrete class data
  mining.
\newblock {\em IEEE Transactions On Knowledge And Data Engineering},
  15(6):1437-- 1447, 2003.

\bibitem{Kir92}
K.~Kira and L.~Rendell.
\newblock A practical approach to feature selection.
\newblock In {\em The Ninth International Conference on Machine Learning},
  pages pp. 249--256. Morgan Kaufmann, 1992.

\bibitem{kohavi97}
R.~Kohavi and G.~H. John.
\newblock Wrappers for feature subset selection.
\newblock {\em Artificial Intelligence}, 97(1-2):273--324, 1997.

\bibitem{Kon94}
I.~Kononenko.
\newblock Estimating attributes: Analysis and extensions of relief.
\newblock In {\em The Seventh European Conference on Machine Learning}, pages
  pp. 171--182. Springer-Verlag, 1994.

\bibitem{Kononenko97}
I.~Kononenko, E.~Simec, and M.~Robnik-Sikonja.
\newblock Overcoming the myopia of inductive learning algorithms with relieff.
\newblock {\em Applied Intelligence}, 7:39--55, 1997.
\newblock Available from
  \url{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4740}.

\bibitem{marcus03}
A.~Marcus and J.~Maletic.
\newblock Recovering documentation-to-source code traceability links using
  latent semantic indexing.
\newblock In {\em Proceedings of the Twenty-Fifth International Conference on
  Software Engineering}, 2003.

\bibitem{me07b}
T.~Menzies, J.~Greenwald, and A.~Frank.
\newblock Data mining static code attributes to learn defect predictors.
\newblock {\em IEEE Transactions on Software Engineering}, January 2007.
\newblock Available from \url{http://menzies.us/pdf/06learnPredict.pdf}.

\bibitem{michael-etal-ga-tcg}
C.~C. Michael, G.~McGraw, and M.~A. Schatz.
\newblock Generating software test data by evolution.
\newblock {\em IEEE Transactions on Software Engineering}, 27(12), December
  2001.

\bibitem{miller02}
A.~Miller.
\newblock {\em Subset Selection in Regression (second edition)}.
\newblock Chapman \& Hall, 2002.

\bibitem{pacheco-etal-icse2007}
C.~Pacheco, S.~K. Lahiri, M.~D. Ernst, and T.~Ball.
\newblock Feedback-directed random test generation.
\newblock In {\em Proceedings of the 29th International Conference on Software
  Engineering (ICSE 2007)}, pages 75--84, Minneapolis, MN, May 2007.

\bibitem{visser-etal-issta06}
W.~Visser, C.~S. P\u{a}s\u{a}reanu, and R.~Pel\'{a}nek.
\newblock Test input generation for {Java} containers using state matching.
\newblock In {\em Proceedings of the International Symposium on Software
  Testing and Analysis (ISSTA 2006)}, pages 37--48, Portland, Maine, July 2006.

\bibitem{watkins-hufnagel-fitness}
A.~Watkins and E.~M. Hufnagel.
\newblock Evolutionary test data generation: A comparison of fitness functions.
\newblock {\em Software Practice and Experience}, 36:95--116, January 2006.

\end{thebibliography}
