@booklet{X3J13:94,
  title = "Common {Lisp} {HyperSpec}",
  author = "K. M. Pitman",
  howpublished = "http://www.lispworks.com/reference/HyperSpec/Front/index.htm",
  note = "A hyperlinked form of ANSI/INCITS document 226-1994.  Translated in 1996 and updated in 2005."
}

@article{McKeeman:98,
  title = {Differential Testing for Software},
  author = {W. M. McKeeman},
  journal = {Digital Technical Journal},
  volume = {10},
  number = {1},
  year = {1998},
  pages = {100--107}
}

@article{DuranNtafos:84,
  title = {An Evaluation of Random Testing},
  author = {J. W. Duran and S. Ntafos},
  journal = {IEEE TSE},
  volume = {SE-10},
  year = {1984},
  pages = {438--444},
  publisher = {IEEE Press}
}

@inproceedings{DuranNtafos:81,
 author = {Joe W. Duran and Simeon Ntafos},
 title = {A report on random testing},
 booktitle = {ICSE '81: Proceedings of the 5th international conference on Software engineering},
 year = {1981},
 pages = {179--183},
 location = {San Diego, California, United States},
 publisher = {IEEE Press}
 }

@misc{KanerBondMcGee:04,
  author={C. Kaner, W. P. Bond, P. McGee},
  title={High Volume Test Automation},
  howpublished={At http://testingeducation.org/a/hvta.pdf},
  year={2004},
  month={May},
  note={Keynote address presented at the International Conference on Software Testing, Analysis, and Review (STAR East), Orlando, FL}
}

@article{Waters:91a,
 author = {Richard C. Waters},
 title = {Supporting the regression testing of Lisp programs},
 journal = {SIGPLAN Lisp Pointers},
 volume = {IV},
 number = {2},
 year = {1991},
 pages = {47--53},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{HildZeller:02a,
  author={Andreas Zeller and Ralf Hildebrandt},
  title={Simplifying and Isolating Failure-Inducing Input},
  journal={IEEE Transactions on Software Engineering},
  volume={28},
  number={2},
  month={Feb},
  year={2002},
  pages={183--200},
}

@inproceedings {BachSchroeder:04,
  author={James Bach and Patrick J. Schroeder},
  title={Pairwise Testing: A Best Practice That Isn't},
  booktitle={Proc. 22nd Annual Pacific Northwest Software Quality Conference},
  year={2004},
  note={See http://www.pnsqc.org/proceedings/pnsqc2004.pdf},
}

@inproceedings {Slutz:98,
  author={Don R. Slutz},
  title={Massive Stochastic Testing of {SQL}},
  booktitle={Proc. 24th International Conference on Very Large Database Systems (VLDB'98)},
  year={1998},
  month={Aug.},
  pages={618-622},
}

@misc{Lindig:05,
  author={Christian Lindig},
  title={Random Testing the Translation of {C} Function Calls},
  month={Feb.},
  year={2005},
  howpublished={At http://www.st.cs.uni-sb.de/~lindig/src/quest/quest.pdf},
}

@book{Myers:79,
  author={Glenford J. Myers},
  title={The Art of Software Testing},
  publisher={John Wiley \& Sons},
  year={1979},
}

@article{MillerFredriksenSo:90,
 author = {Barton P. Miller and Louis Fredriksen and Bryan So},
 title = {An empirical study of the reliability of UNIX utilities},
 journal = {Commun. ACM},
 volume = {33},
 number = {12},
 year = {1990},
 issn = {0001-0782},
 pages = {32--44},
 doi = {http://doi.acm.org/10.1145/96267.96279},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@misc{Faigon:05,
  author={Ariel Faigon},
  title={Testing for Zero Bugs},
  year={2005},
  howpublished={At http://www.yendor.com/testing/},
}
