\relax 
\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}}
\citation{miller-fuzz-cacm,andrews-etal-rute-rt,pacheco-etal-icse2007,groce-etal-icse2007}
\citation{michael-etal-ga-tcg,visser-etal-issta06,andrews-etal-rute-rt}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {I-A}}Randomized Unit Testing}{2}}
\citation{doong-frankl-tosem94,antoy-hamlet-tse-jan2000,claessen-hughes-quickcheck,pacheco-etal-icse2007}
\citation{andrews-etal-rute-rt}
\citation{hetzel-book-1973}
\citation{Hamlet94randomtesting}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {I-B}}Contributions and Paper Organization}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {II}Related Work}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {II-A}}Randomized Unit Testing}{4}}
\citation{weyuker-oracles}
\citation{miller-fuzz-cacm}
\citation{jcrasher-spe}
\citation{pacheco-etal-icse2007}
\citation{andrews-etal-rute-rt,ciupa-etal-icse2008}
\citation{ernst-daikon}
\citation{michael-etal-ga-tcg}
\citation{visser-etal-issta06}
\citation{ball-pred-coverage}
\citation{doong-frankl-tosem94}
\citation{antoy-hamlet-tse-jan2000}
\citation{andrews-zhang-tse2003}
\citation{pacheco-etal-icse2007}
\citation{clarke-76-testdata,king-symbolic-1976}
\citation{korel-testgen}
\citation{gupta-etal-gen-test-data}
\citation{leow-etal-icse2004}
\citation{visser-etal-issta04}
\citation{godefroid-etal-dart,sen-etal-cute}
\citation{owen-menzies-lurch}
\citation{visser-etal-issta06}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {II-B}}Analysis-Based Test Data Generation Approaches}{6}}
\citation{korel-testgen}
\citation{holland-ga-book}
\citation{goldberg-ga-book}
\citation{rela04}
\citation{pargas-etal-ga-tcg}
\citation{michael-etal-ga-tcg}
\citation{guo-etal-genetic}
\citation{tonella-issta04}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {II-C}}Genetic Algorithms for Testing}{7}}
\citation{bouck03,demsar06}
\citation{groce-etal-icse2007}
\citation{mckeeman-differential}
\citation{michael-etal-ga-tcg}
\citation{watkins-hufnagel-fitness}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {II-D}}Analytic Comparison of Approaches}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Spiky search space resulting from poor fitness function.}}{9}}
\newlabel{spiky-search-space-fig}{{1}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Smooth search space resulting from recasting problem.}}{9}}
\newlabel{smooth-search-space-fig}{{2}{9}}
\citation{rothermel-etal-effects-minimization}
\citation{havelund-pathfinder}
\citation{jdeal}
\@writefile{toc}{\contentsline {section}{\numberline {III}Exploratory Study}{10}}
\newlabel{exploratory-section}{{III}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-A}}Software Developed}{10}}
\citation{cobertura-website}
\citation{visser-etal-issta04}
\citation{cli-msc}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-B}}Experiment Design}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-C}}Results}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {IV}Nighthawk: System Description}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {IV-A}}Randomized Testing Level}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Algorithm {\sf  constructRunTestCase}.}}{14}}
\newlabel{constructRunTestCase-fig}{{3}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Algorithm {\sf  tryRunMethod}.}}{15}}
\newlabel{tryRunMethod-fig}{{4}{15}}
\newlabel{object-section}{{\unhbox \voidb@x \hbox {IV-A}}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {IV-B}}Chromosomes}{16}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Nighthawk gene types.}}{17}}
\newlabel{gene-types-fig}{{5}{17}}
\citation{michael-etal-ga-tcg}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {IV-C}}Genetic Algorithm Level}{18}}
\citation{dejong-spears-genetic}
\citation{cobertura-website}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {IV-D}}Top-Level Application}{19}}
\newlabel{deep-section}{{\unhbox \voidb@x \hbox {IV-D}}{19}}
\newlabel{run-chromosome-sec}{{\unhbox \voidb@x \hbox {IV-D}}{19}}
\citation{jml-overview}
\citation{pacheco-etal-icse2007}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {IV-E}}Test Wrappers}{20}}
\newlabel{test-wrappers-section}{{\unhbox \voidb@x \hbox {IV-E}}{20}}
\citation{michael-etal-ga-tcg}
\citation{visser-etal-issta06}
\citation{pacheco-etal-icse2007}
\@writefile{toc}{\contentsline {section}{\numberline {V}Comparison with Previous Results}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {V-A}}Pure GA Approach}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {V-B}}Model-Checking and Feedback-Directed Randomization}{21}}
\citation{ball-pred-coverage}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Comparison of results on the JPF subject units.}}{22}}
\newlabel{jpf-results-fig}{{6}{22}}
\citation{cornett-minimum-coverage}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Multiple condition coverage of the subject units.}}{23}}
\newlabel{jpf-mcc-results-fig}{{7}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {VI}Case Study}{23}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces  Coverage achieved by configurations of Nighthawk on the {\tt  java.util} Collection and Map classes. }}{24}}
\newlabel{collection-map-cov}{{8}{24}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  Time in seconds taken by configurations of Nighthawk to achieve highest coverage on the {\tt  java.util} Collection and Map classes. }}{25}}
\newlabel{collection-times}{{9}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {VII}Threats to Validity}{26}}
\citation{ga-blackart}
\citation{hall03}
\@writefile{toc}{\contentsline {section}{\numberline {VIII}Data Mining-Based Optimization}{27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {VIII-A}}Feature Subset Selection}{27}}
\citation{miller02}
\citation{kohavi97}
\citation{Kir92,Kon94}
\citation{Kon94}
\citation{hall03}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {VIII-B}}Data Collection and Analysis}{29}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  Numbers of selected features for values of $\alpha $. }}{30}}
\newlabel{selected-features-fig}{{10}{30}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces  Merit analysis of Nighthawk gene types. }}{31}}
\newlabel{genes-merit-fig}{{11}{31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {VIII-C}}Optimization and Performance Comparison}{31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {VIII-D}}Discussion}{32}}
\bibstyle{IEEEtran.bst}
\bibdata{my}
\bibcite{miller-fuzz-cacm}{1}
\bibcite{andrews-etal-rute-rt}{2}
\bibcite{pacheco-etal-icse2007}{3}
\bibcite{groce-etal-icse2007}{4}
\bibcite{michael-etal-ga-tcg}{5}
\bibcite{visser-etal-issta06}{6}
\@writefile{toc}{\contentsline {section}{\numberline {IX}Conclusions and Future Work}{33}}
\@writefile{toc}{\contentsline {section}{References}{33}}
\bibcite{doong-frankl-tosem94}{7}
\bibcite{antoy-hamlet-tse-jan2000}{8}
\bibcite{claessen-hughes-quickcheck}{9}
\bibcite{hetzel-book-1973}{10}
\bibcite{Hamlet94randomtesting}{11}
\bibcite{weyuker-oracles}{12}
\bibcite{jcrasher-spe}{13}
\bibcite{ciupa-etal-icse2008}{14}
\bibcite{ernst-daikon}{15}
\bibcite{ball-pred-coverage}{16}
\bibcite{andrews-zhang-tse2003}{17}
\bibcite{clarke-76-testdata}{18}
\bibcite{king-symbolic-1976}{19}
\bibcite{korel-testgen}{20}
\bibcite{gupta-etal-gen-test-data}{21}
\bibcite{leow-etal-icse2004}{22}
\bibcite{visser-etal-issta04}{23}
\bibcite{godefroid-etal-dart}{24}
\bibcite{sen-etal-cute}{25}
\bibcite{owen-menzies-lurch}{26}
\bibcite{holland-ga-book}{27}
\bibcite{goldberg-ga-book}{28}
\bibcite{rela04}{29}
\bibcite{pargas-etal-ga-tcg}{30}
\bibcite{guo-etal-genetic}{31}
\bibcite{tonella-issta04}{32}
\bibcite{bouck03}{33}
\bibcite{demsar06}{34}
\bibcite{mckeeman-differential}{35}
\bibcite{watkins-hufnagel-fitness}{36}
\bibcite{rothermel-etal-effects-minimization}{37}
\bibcite{havelund-pathfinder}{38}
\bibcite{jdeal}{39}
\bibcite{cobertura-website}{40}
\bibcite{cli-msc}{41}
\bibcite{dejong-spears-genetic}{42}
\bibcite{jml-overview}{43}
\bibcite{cornett-minimum-coverage}{44}
\bibcite{ga-blackart}{45}
\bibcite{hall03}{46}
\bibcite{miller02}{47}
\bibcite{kohavi97}{48}
\bibcite{Kir92}{49}
\bibcite{Kon94}{50}
\@writefile{toc}{\contentsline {section}{Biographies}{36}}
\@writefile{toc}{\contentsline {subsection}{James H.\ Andrews}{36}}
\@writefile{toc}{\contentsline {subsection}{Felix C.\ H.\ Li}{36}}
\@writefile{toc}{\contentsline {subsection}{Tim Menzies}{36}}