% Generated by IEEEtran.bst, version: 1.12 (2007/01/11)
\begin{thebibliography}{10}
\providecommand{\url}[1]{#1}
\csname url@samestyle\endcsname
\providecommand{\newblock}{\relax}
\providecommand{\bibinfo}[2]{#2}
\providecommand{\BIBentrySTDinterwordspacing}{\spaceskip=0pt\relax}
\providecommand{\BIBentryALTinterwordstretchfactor}{4}
\providecommand{\BIBentryALTinterwordspacing}{\spaceskip=\fontdimen2\font plus
\BIBentryALTinterwordstretchfactor\fontdimen3\font minus
  \fontdimen4\font\relax}
\providecommand{\BIBforeignlanguage}[2]{{%
\expandafter\ifx\csname l@#1\endcsname\relax
\typeout{** WARNING: IEEEtran.bst: No hyphenation pattern has been}%
\typeout{** loaded for the language `#1'. Using the pattern for}%
\typeout{** the default language instead.}%
\else
\language=\csname l@#1\endcsname
\fi
#2}}
\providecommand{\BIBdecl}{\relax}
\BIBdecl

\bibitem{miller-fuzz-cacm}
B.~P. Miller, L.~Fredriksen, and B.~So, ``An empirical study of the reliability
  of {UNIX} utilities,'' \emph{Commun. ACM}, vol.~33, no.~12, pp. 32--44,
  December 1990.

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

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

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

\bibitem{michael-etal-ga-tcg}
C.~C. Michael, G.~McGraw, and M.~A. Schatz, ``Generating software test data by
  evolution,'' \emph{IEEE Transactions on Software Engineering}, vol.~27,
  no.~12, December 2001.

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

\bibitem{doong-frankl-tosem94}
R.-K. Doong and P.~G. Frankl, ``The {ASTOOT} approach to testing
  object-oriented programs,'' \emph{ACM Transactions on Software Engineering
  and Methodology}, vol.~3, no.~2, pp. 101--130, April 1994.

\bibitem{antoy-hamlet-tse-jan2000}
S.~Antoy and R.~G. Hamlet, ``Automatically checking an implementation against
  its formal specification,'' \emph{IEEE Transactions on Software Engineering},
  vol.~26, no.~1, pp. 55--69, January 2000.

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

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

\bibitem{hetzel-book-1973}
W.~C. Hetzel, Ed., \emph{Program Test Methods}, ser. Automatic
  Computation.\hskip 1em plus 0.5em minus 0.4em\relax Englewood Cliffs, N.J.:
  Prentice-Hall, 1973.

\bibitem{Hamlet94randomtesting}
R.~Hamlet, ``Random testing,'' in \emph{Encyclopedia of Software
  Engineering}.\hskip 1em plus 0.5em minus 0.4em\relax Wiley, 1994, pp.
  970--978.

\bibitem{weyuker-oracles}
E.~J. Weyuker, ``On testing non-testable programs,'' \emph{The Computer
  Journal}, vol.~25, no.~4, pp. 465--470, November 1982.

\bibitem{jcrasher-spe}
C.~Csallner and Y.~Smaragdakis, ``{JCrasher}: an automatic robustness tester
  for {Java},'' \emph{Software Practice and Experience}, vol.~34, no.~11, pp.
  1025--1050, 2004.

\bibitem{ciupa-etal-icse2008}
I.~Ciupa, A.~Leitner, M.~Oriol, and B.~Meyer, ``Artoo: Adaptive random testing
  for object-oriented software,'' in \emph{Proceedings of the 30th ACM/IEEE
  International Conference on Software Engineering (ICSE'08)}, Leipzig,
  Germany, May 2008, pp. 71--80.

\bibitem{ernst-daikon}
M.~D. Ernst, J.~Cockrell, W.~G. Griswold, and D.~Notkin, ``Dynamically
  discovering likely program invariants to support program evolution,''
  \emph{IEEE Transactions on Software Engineering}, vol.~27, no.~2, pp.
  99--123, February 2001.

\bibitem{ball-pred-coverage}
T.~Ball, ``A theory of predicate-complete test coverage and generation,'' in
  \emph{Third International Symposium on Formal Methods for Components and
  Objects (FMCO 2004)}, Leiden, The Netherlands, November 2004, pp. 1--22.

\bibitem{andrews-zhang-tse2003}
J.~H. Andrews and Y.~Zhang, ``General test result checking with log file
  analysis,'' \emph{IEEE Transactions on Software Engineering}, vol.~29, no.~7,
  pp. 634--648, July 2003.

\bibitem{clarke-76-testdata}
L.~A. Clarke, ``A system to generate test data and symbolically execute
  programs,'' \emph{IEEE Transactions on Software Engineering}, vol. SE-2,
  no.~3, pp. 215--222, September 1976.

\bibitem{king-symbolic-1976}
J.~C. King, ``Symbolic execution and program testing,'' \emph{Communications of
  the ACM}, vol.~19, no.~7, pp. 385--394, 1976.

\bibitem{korel-testgen}
B.~Korel, ``Automated software test generation,'' \emph{IEEE Transactions on
  Software Engineering}, vol.~16, no.~8, pp. 870--879, August 1990.

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

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

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

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

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

\bibitem{holland-ga-book}
J.~H. Holland, \emph{Adaptation in Natural and Artificial Systems}.\hskip 1em
  plus 0.5em minus 0.4em\relax Ann Arbor: University of Michigan Press, 1975.

\bibitem{goldberg-ga-book}
D.~E. Goldberg, \emph{Genetic Algorithm in Search, Optimization, and Machine
  Learning}.\hskip 1em plus 0.5em minus 0.4em\relax Addison-Wesley, 1989.

\bibitem{rela04}
L.~Rela, ``Evolutionary computing in search-based software engineering,''
  Master's thesis, Lappeenranta University of Technology, 2004.

\bibitem{pargas-etal-ga-tcg}
R.~P. Pargas, M.~J. Harrold, and R.~R. Peck, ``Test-data generation using
  genetic algorithms,'' \emph{Journal of Software Testing, Verification and
  Reliability}, vol.~9, pp. 263--282, December 1999.

\bibitem{guo-etal-genetic}
Q.~Guo, R.~M. Hierons, M.~Harman, and K.~Derderian, ``Computing unique
  input/output sequences using genetic algorithms,'' in \emph{3rd International
  Workshop on Formal Approaches to Testing of Software (FATES 2003)}, ser.
  LNCS, vol. 2931.\hskip 1em plus 0.5em minus 0.4em\relax Springer, 2004, pp.
  164--177.

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

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

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

\bibitem{frankl-weiss-tse93}
P.~G. Frankl and S.~N. Weiss, ``An experimental comparison of the effectiveness
  of branch testing and data flow testing,'' \emph{IEEE Transactions on
  Software Engineering}, vol.~19, no.~8, pp. 774--787, August 1993.

\bibitem{rothermel-etal-effects-minimization}
G.~Rothermel, M.~J. Harrold, J.~Ostrin, and C.~Hong, ``An empirical study of
  the effects of minimization on the fault detection capabilities of test
  suites,'' in \emph{Proceedings of the International Conference on Software
  Maintenance (ICSM '98)}, Washington, DC, USA, November 1998, pp. 34--43.

\bibitem{cok-adapting-jml}
D.~R. Cok, ``Adapting jml to generic types and java 1.6,'' in \emph{Seventh
  International Workshop on Specification and Verification of Component-Based
  Systems (SAVCBS 2008)}, November 2008, pp. 27--34.

\bibitem{havelund-pathfinder}
K.~Havelund and T.~Pressburger, ``Model checking {Java} programs using {Java}
  {PathFinder},'' \emph{International Journal on Software Tools for Technology
  Transfer}, vol.~2, no.~4, pp. 366--381, 2000.

\bibitem{dejong-spears-genetic}
K.~A. DeJong and W.~M. Spears, ``An analysis of the interacting roles of
  population size and crossover in genetic algorithms,'' in \emph{First
  Workshop on Parallel Problem Solving from Nature}.\hskip 1em plus 0.5em minus
  0.4em\relax Springer, 1990, pp. 38--47.

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

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

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

\bibitem{hall03}
M.~Hall and G.~Holmes, ``Benchmarking attribute selection techniques for
  discrete class data mining,'' \emph{IEEE Transactions On Knowledge And Data
  Engineering}, vol.~15, no.~6, pp. 1437-- 1447, 2003.

\bibitem{miller02}
A.~Miller, \emph{Subset Selection in Regression (second edition)}.\hskip 1em
  plus 0.5em minus 0.4em\relax Chapman \& Hall, 2002.

\bibitem{Kir92}
K.~Kira and L.~Rendell, ``A practical approach to feature selection,'' in
  \emph{The Ninth International Conference on Machine Learning}.\hskip 1em plus
  0.5em minus 0.4em\relax Morgan Kaufmann, 1992, pp. pp. 249--256.

\bibitem{Kon94}
I.~Kononenko, ``Estimating attributes: Analysis and extensions of relief,'' in
  \emph{The Seventh European Conference on Machine Learning}.\hskip 1em plus
  0.5em minus 0.4em\relax Springer-Verlag, 1994, pp. pp. 171--182.

\end{thebibliography}
