\begin{thebibliography}{10}

\bibitem{aho:dragon}
{\sc Aho, A.~V., Sethi, R., and Ullman, J.~D.}
\newblock {\em Compilers: {P}rinciples, techniques and tools}.
\newblock Addison Wesley, 1986.

\bibitem{bennett:bylands}
{\sc Bennett, K., Bull, T., Younger, E., and Luo, Z.}
\newblock Bylands: reverse engineering safety-critical systems.
\newblock In {\em IEEE International Conference on Software Maintenance\/}
  (1995), {IEEE} {C}omputer {S}ociety {P}ress, {L}os {A}lamitos, {C}alifornia,
  {USA}, pp.~358--366.

\bibitem{bsi:testing-standard2}
{\sc {British Standards Institute}}.
\newblock {BS 7925-2} software component testing, 1998.

\bibitem{mhsd:stvr1}
{\sc Harman, M., and Danicic, S.}
\newblock Using program slicing to simplify testing.
\newblock {\em Software Testing, Verification and Reliability 5}, 3 (Sept.
  1995), 143--162.

\bibitem{rhmhsd:mutation}
{\sc Hierons, R.~M., Harman, M., and Danicic, S.}
\newblock Using program slicing to assist in the detection of equivalent
  mutants.
\newblock {\em Software Testing, Verification and Reliability 9}, 4 (1999),
  233--262.

\bibitem{jones96}
{\sc Jones, B., Sthamer, H.-H., and Eyres, D.}
\newblock Automatic structural testing using genetic algorithms.
\newblock {\em The Software Engineering Journal 11\/} (1996), 299--306.

\bibitem{jones}
{\sc Jones, B.~F., Eyres, D.~E., and Sthamer, H.~H.}
\newblock A strategy for using genetic algorithms to automate branch and
  fault-based testing.
\newblock {\em The Computer Journal 41}, 2 (1998), 98--107.

\bibitem{michael:generating}
{\sc Michael, C., {McGraw}, G., and Schatz, M.}
\newblock Generating software test data by evolution.
\newblock {\em IEEE Transactions on Software Engineering}, 12 (Dec. 2001),
  1085--1110.

\bibitem{wegener:comparison}
{\sc Mueller, F., and Wegener, J.}
\newblock A comparison of static analysis and evolutionary testing for the
  verification of timing constraints.
\newblock In {\em 4th {IEEE} Real-Time Technology and Applications Symposium
  ({RTAS} '98)\/} (Washington - Brussels - Tokyo, June 1998), IEEE,
  pp.~144--154.

\bibitem{pargas99}
{\sc Pargas, R.~P., Harrold, M.~J., and Peck, R.~R.}
\newblock Test-data generation using genetic algorithms.
\newblock {\em The Journal of Software Testing, Verification and Reliability
  9\/} (1999), 263--282.

\bibitem{wegener:realtime}
{\sc Pohlheim, H., and Wegener, J.}
\newblock Testing the temporal behavior of real-time software modules using
  extended evolutionary algorithms.
\newblock In {\em Proceedings of the Genetic and Evolutionary Computation
  Conference\/} (Orlando, Florida, USA, 13-17 July 1999), W.~Banzhaf, J.~Daida,
  A.~E. Eiben, M.~H. Garzon, V.~Honavar, M.~Jakiela, and R.~E. Smith, Eds.,
  vol.~2, Morgan Kaufmann, p.~1795.

\bibitem{radio:standard}
{\sc {Radio Technical Commission for Aeronautics}}.
\newblock {RTCA DO178-B} {S}oftware considerations in airborne systems and
  equipment certification, 1992.

\bibitem{ryan:provable}
{\sc Ryan, C., and Walsh, P.}
\newblock The evolution of provable parallel programs.
\newblock In {\em Genetic Programming 1997: Proceedings of the Second Annual
  Conference\/} (Stanford University, CA, USA, 13-16 July 1997), J.~R. Koza,
  K.~Deb, M.~Dorigo, D.~B. Fogel, M.~Garzon, H.~Iba, and R.~L. Riolo, Eds.,
  Morgan Kaufmann, pp.~295--302.

\bibitem{tracey-98}
{\sc Tracey, N., Clark, J., and Mander, K.}
\newblock The way forward for unifying dynamic test-case generation: The
  optimisation-based approach.
\newblock In {\em International Workshop on Dependable Computing and Its
  Applications (DCIA)\/} (January 1998), IFIP, pp.~169--180.

\bibitem{ward:reverse}
{\sc Ward, M.}
\newblock Reverse engineering through formal transformation.
\newblock {\em The Computer Journal 37}, 5 (1994).

\bibitem{ward:maintainers}
{\sc Ward, M., Calliss, F.~W., and Munro, M.}
\newblock The maintainer's assistant.
\newblock In {\em Proceedings of the International Conference on Software
  Maintenance ~1989\/} (1989), {IEEE} {C}omputer {S}ociety {P}ress, {L}os
  {A}lamitos, {C}alifornia, {USA}, p.~307.

\bibitem{wegner96}
{\sc Wegener, J., Grimm, K., Grochtmann, M., Sthamer, H., and Jones, B.~F.}
\newblock Systematic testing of real-time systems.
\newblock In {\em 4th International Conference on Software Testing Analysis and
  Review ({EuroSTAR} 96)\/} (1996).

\bibitem{wegner97}
{\sc Wegener, J., Sthamer, H., Jones, B.~F., and Eyres, D.~E.}
\newblock Testing real-time systems using genetic algorithms.
\newblock {\em Software Quality 6\/} (1997), 127--135.

\bibitem{williams:thesis}
{\sc Williams, K.~P.}
\newblock {\em Evolutionary Algorithms for Automatic Parallelization}.
\newblock {PhD} thesis, University of Reading, {UK}, Department of Computer
  Science, Sept. 1998.

\end{thebibliography}