\begin{thebibliography}{10}

\bibitem{andrews-etal-rute-rt}
J.~H. Andrews, S.~Haldar, Y.~Lei, and C.~H.~F. Li.
\newblock Tool support for randomized unit testing.
\newblock In {\em Proceedings of the First International Workshop on Randomized
  Testing (RT'06)}, pages 36--45, Portland, Maine, July 2006.

\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{ball-pred-coverage}
T.~Ball.
\newblock A theory of predicate-complete test coverage and generation.
\newblock In {\em Third International Symposium on Formal Methods for
  Components and Objects (FMCO 2004)}, pages 1--22, Leiden, The Netherlands,
  November 2004.

\bibitem{bouck03}
R.~R. Bouckaert.
\newblock Choosing between two learning algorithms based on calibrated tests.
\newblock In {\em Proceedings of the Twentieth International Conference on
  Machine Learning (ICML 2003)}, pages 51--58, Washington, DC, USA, August
  2003.

\bibitem{jml-overview}
L.~Burdy, Y.~Cheon, D.~R. Cok, M.~D. Ernst, J.~R. Kiniry, and G.~T. Leavens.
\newblock An overview of {JML} tools and applications.
\newblock {\em International Journal on Software Tools for Technology
  Transfer}, 7(3):212--232, June 2005.

\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{clarke-76-testdata}
L.~A. Clarke.
\newblock A system to generate test data and symbolically execute programs.
\newblock {\em IEEE Transactions on Software Engineering}, SE-2(3):215--222,
  September 1976.

\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{jdeal}
J.~Costa, P.~Silva, and N.~Lopes.
\newblock {JDEAL Java Distributed Evolutionary Algorithms Library} version 1.0:
  Getting started.
\newblock Technical report, LaSEEB Instituto Superior T\'ecnico, Universidade
  T\'ecnica de Lisboa, Portugal, 2005.

\bibitem{jcrasher-spe}
C.~Csallner and Y.~Smaragdakis.
\newblock {JCrasher}: an automatic robustness tester for {Java}.
\newblock {\em Software Practice and Experience}, 34(11):1025--1050, 2004.

\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{demsar06}
J.~Demsar.
\newblock Statistical comparisons of classifiers over multiple data sets.
\newblock {\em Journal of Machine Learning Research}, 7:1--30, 2006.

\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{ernst-daikon}
M.~D. Ernst, J.~Cockrell, W.~G. Griswold, and D.~Notkin.
\newblock Dynamically discovering likely program invariants to support program
  evolution.
\newblock {\em IEEE Transactions on Software Engineering}, 27(2):99--123,
  February 2001.

\bibitem{godefroid-etal-dart}
P.~Godefroid, N.~Klarlund, and K.~Sen.
\newblock {DART}: Directed automated random testing.
\newblock In {\em Proceedings of the ACM SIGPLAN 2005 Conference on Programming
  Language Design and Implementation (PLDI)}, pages 213--223, Chicago, June
  2005.

\bibitem{goldberg-ga-book}
D.~E. Goldberg.
\newblock {\em Genetic Algorithm in Search, Optimization, and Machine
  Learning}.
\newblock Addison-Wesley, 1989.

\bibitem{groce-etal-icse2007}
A.~Groce, G.~J. Holzmann, and R.~Joshi.
\newblock Randomized differential testing as a prelude to formal verification.
\newblock In {\em Proceedings of the 29th International Conference on Software
  Engineering (ICSE 2007)}, pages 621--631, Minneapolis, MN, May 2007.

\bibitem{guo-etal-genetic}
Q.~Guo, R.~M. Hierons, M.~Harman, and K.~Derderian.
\newblock Computing unique input/output sequences using genetic algorithms.
\newblock In {\em 3rd International Workshop on Formal Approaches to Testing of
  Software (FATES 2003)}, volume 2931 of {\em LNCS}, pages 164--177. Springer,
  2004.

\bibitem{gupta-etal-gen-test-data}
N.~Gupta, A.~P. Mathur, and M.~L. Soffa.
\newblock Automated test data generation using an iterative relaxation method.
\newblock In {\em Sixth International Symposium on the Foundations of Software
  Engineering (FSE 98)}, pages 224--232, November 1998.

\bibitem{havelund-pathfinder}
K.~Havelund and T.~Pressburger.
\newblock Model checking {Java} programs using {Java} {PathFinder}.
\newblock {\em International Journal on Software Tools for Technology
  Transfer}, 2(4):366--381, 2000.

\bibitem{hetzel-book-1973}
W.~C. Hetzel, editor.
\newblock {\em Program Test Methods}.
\newblock Automatic Computation. Prentice-Hall, Englewood Cliffs, N.J., 1973.

\bibitem{ga-blackart}
M.~Kelly.
\newblock Beyond the black art.
\newblock {\em EvoWeb News and Features}, July 2001.
\newblock evonet.lri.fr/evoweb/.

\bibitem{leow-etal-icse2004}
W.~K. Leow, S.~C. Khoo, and Y.~Sun.
\newblock Automated generation of test programs from closed specifications of
  classes and test cases.
\newblock In {\em Proceedings of the 26th International Conference on Software
  Engineering (ICSE 2004)}, pages 96--105, Edinburgh, UK, May 2004.

\bibitem{cli-msc}
F.~C.~H. Li.
\newblock Applications of genetic algorithms to randomized unit testing.
\newblock Master's thesis, Department of Computer Science, University of
  Western Ontario, December 2006.

\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{miller-fuzz-cacm}
B.~P. Miller, L.~Fredriksen, and B.~So.
\newblock An empirical study of the reliability of {UNIX} utilities.
\newblock {\em Commun. ACM}, 33(12):32--44, December 1990.

\bibitem{owen-menzies-lurch}
D.~Owen and T.~Menzies.
\newblock Lurch: a lightweight alternative to model checking.
\newblock In {\em Proceedings of the Fifteenth International Conference on
  Software Engineering and Knowledge Engineering (SEKE'2003)}, pages 158--165,
  San Francisco, July 2003.

\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{rela04}
L.~Rela.
\newblock Evolutionary computing in search-based software engineering.
\newblock Master's thesis, Lappeenranta University of Technology, 2004.

\bibitem{sen-etal-cute}
K.~Sen, D.~Marinov, and G.~Agha.
\newblock {CUTE}: a concolic unit testing engine for {C}.
\newblock In {\em Proceedings of the 13th ACM SIGSOFT International Symposium
  on Foundations of Software Engineering (ESEC/FSE)}, pages 263--272, Lisbon,
  September 2005.

\bibitem{tonella-issta04}
P.~Tonella.
\newblock Evolutionary testing of classes.
\newblock In {\em Proceedings of the ACM/SIGSOFT International Symposium on
  Software Testing and Analysis (ISSTA 2004)}, pages 119--128, Boston,
  Massachusetts, USA, July 2004.

\bibitem{visser-etal-issta04}
W.~Visser, C.~S. P\u{a}s\u{a}reanu, and S.~Khurshid.
\newblock Test input generation with {Java} {PathFinder}.
\newblock In {\em Proceedings of the ACM/SIGSOFT International Symposium on
  Software Testing and Analysis (ISSTA 2004)}, pages 97--107, Boston, MA, July
  2004.

\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.

\end{thebibliography}
