@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/}, }