\relax 
\citation{miller-fuzz-cacm}
\citation{andrews-etal-rute-rt}
\citation{pacheco-etal-icse2007}
\citation{groce-etal-icse2007}
\citation{michael-etal-ga-tcg}
\citation{visser-etal-issta06}
\citation{andrews-etal-rute-rt}
\citation{hetzel-book-1973}
\citation{miller-fuzz-cacm}
\citation{jcrasher-spe}
\citation{pacheco-etal-icse2007}
\citation{michael-etal-ga-tcg}
\citation{visser-etal-issta06}
\citation{ball-pred-coverage}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Randomized Testing}{\thepage }}
\citation{doong-frankl-tosem94}
\citation{doong-frankl-tosem94}
\citation{antoy-hamlet-tse-jan2000}
\citation{claessen-hughes-quickcheck}
\citation{sen-etal-cute}
\citation{visser-etal-issta06}
\citation{andrews-etal-rute-rt}
\citation{rela04}
\citation{michael-etal-ga-tcg}
\citation{tonella-issta04}
\citation{guo-etal-genetic}
\citation{clarke-76-testdata}
\citation{gupta-etal-gen-test-data}
\citation{leow-etal-icse2004}
\citation{visser-etal-issta04}
\citation{visser-etal-issta06}
\citation{godefroid-etal-dart}
\citation{sen-etal-cute}
\citation{owen-menzies-lurch}
\citation{groce-etal-icse2007}
\citation{havelund-pathfinder}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Randomized Unit Testing}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Contributions and Paper Organization}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {2}Related Work}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Genetic Algorithms for Testing}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Other Test Data Generation Approaches}{\thepage }}
\citation{miller-fuzz-cacm}
\citation{jcrasher-spe}
\citation{pacheco-etal-icse2007}
\citation{andrews-etal-rute-rt}
\citation{ernst-daikon}
\citation{jdeal}
\citation{cobertura-website}
\citation{visser-etal-issta04}
\citation{cli-msc}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Chance of selecting two identical integers $x$ and $y$. (left) Search space as space of $(x,y)$ pairs. (right) Search space as space of lower and upper bounds for random generation of $x$ and $y$.}}{\thepage }}
\newlabel{search-space-fig}{{1}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Randomized Testing}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {3}Exploratory Study}{\thepage }}
\newlabel{exploratory-section}{{3}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Software Developed}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Experiment Design}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Results}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {4}Nighthawk: System \\ Description}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Randomized Testing Level}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Algorithm {\sf  constructRunTestCase}.}}{\thepage }}
\newlabel{constructRunTestCase-fig}{{2}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Algorithm {\sf  tryRunMethod}.}}{\thepage }}
\newlabel{tryRunMethod-fig}{{3}{\thepage }}
\newlabel{object-section}{{4.1}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Chromosomes}{\thepage }}
\citation{michael-etal-ga-tcg}
\citation{goldberg-ga-book}
\citation{ga-blackart}
\citation{dejong-spears-genetic}
\citation{cobertura-website}
\citation{jml-overview}
\citation{pacheco-etal-icse2007}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Genetic Algorithm Level}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Top-Level Application}{\thepage }}
\newlabel{deep-section}{{4.4}{\thepage }}
\newlabel{run-chromosome-sec}{{4.4}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Test Wrappers}{\thepage }}
\newlabel{test-wrappers-section}{{4.5}{\thepage }}
\citation{michael-etal-ga-tcg}
\citation{visser-etal-issta06}
\citation{pacheco-etal-icse2007}
\citation{ball-pred-coverage}
\citation{cornett-minimum-coverage}
\@writefile{toc}{\contentsline {section}{\numberline {5}Comparison with Previous \\ Results}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Pure GA Approach}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Model-Checking and Feedback-Directed Randomization}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Comparison of results on the JPF subject units.}}{\thepage }}
\newlabel{jpf-results-fig}{{4}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Multiple condition coverage of the subject units.}}{\thepage }}
\newlabel{jpf-mcc-results-fig}{{5}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces  Coverage achieved by configurations of Nighthawk on the {\tt  java.util} Collection and Map classes. }}{\thepage }}
\newlabel{collection-map-cov}{{6}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {6}Case Study}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces  Time in seconds taken by configurations of Nighthawk to achieve highest coverage on the {\tt  java.util} Collection and Map classes. }}{\thepage }}
\newlabel{collection-times}{{7}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {7}Threats to Validity}{\thepage }}
\citation{bouck03}
\citation{demsar06}
\bibcite{andrews-etal-rute-rt}{1}
\bibcite{antoy-hamlet-tse-jan2000}{2}
\bibcite{ball-pred-coverage}{3}
\bibcite{bouck03}{4}
\bibcite{jml-overview}{5}
\bibcite{claessen-hughes-quickcheck}{6}
\bibcite{clarke-76-testdata}{7}
\bibcite{cobertura-website}{8}
\bibcite{cornett-minimum-coverage}{9}
\bibcite{jdeal}{10}
\bibcite{jcrasher-spe}{11}
\bibcite{dejong-spears-genetic}{12}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusions and Future Work}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {9}Acknowledgments}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {10}References}{\thepage }}
\bibcite{demsar06}{13}
\bibcite{doong-frankl-tosem94}{14}
\bibcite{ernst-daikon}{15}
\bibcite{godefroid-etal-dart}{16}
\bibcite{goldberg-ga-book}{17}
\bibcite{groce-etal-icse2007}{18}
\bibcite{guo-etal-genetic}{19}
\bibcite{gupta-etal-gen-test-data}{20}
\bibcite{havelund-pathfinder}{21}
\bibcite{hetzel-book-1973}{22}
\bibcite{ga-blackart}{23}
\bibcite{leow-etal-icse2004}{24}
\bibcite{cli-msc}{25}
\bibcite{michael-etal-ga-tcg}{26}
\bibcite{miller-fuzz-cacm}{27}
\bibcite{owen-menzies-lurch}{28}
\bibcite{pacheco-etal-icse2007}{29}
\bibcite{rela04}{30}
\bibcite{sen-etal-cute}{31}
\bibcite{tonella-issta04}{32}
\bibcite{visser-etal-issta04}{33}
\bibcite{visser-etal-issta06}{34}