Bibliography

W. E. Wong, S. Gokhale, K. S. Trivedi, and J. R. Horgan, "Locating Program Features Using Execution Slices," in Proc. of Application Specific Software Engineering and Technology (ASSET 99), pp. 194-203, Dallas, TX, March 1999.

P. Mathur and W. E. Wong, A Theoretical Comparison between Mutation and Data Flow Based Test Adequacy Criteria, Proc. of the 22nd Annual ACM Computer Science Conference, pp. 38-45, Phoenix, AZ, March 1994.

Boardman, G. Greene, V. Khandelwal, and A. P. Mathur. LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. In Proceedings of the 19th Annual International Computer Software and Applications Conference (COMPSAC '95), pages 184-193, Dallas, TX, August 1995. IEEE Press.

R. Horgan, S. London, A. P. Mathur, and W. E. Wong. Effect of Test Set Minimization on Fault Detection Effectiveness. In Proceedings of the 17th International Conference on Software Engineering, pages 41-50, Seattle, WA, April 1995.

E. Wong, J. R. Horgan, A. P. Mathur, and A. Pasquini, Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application, Journal of Systems and Software, 48(2):79-89, October 1999.

E. Wong, J. R. Horgan, S. London, and A. P. Mathur, Effect of Test Set Minimization on Fault Detection Effectiveness, Software-Practice and Experience, 28(4):347-369, April 1998.

A. Morgan, G. J. Knafl, and W. E. Wong, Predicting Fault Detection Effectiveness, Proc. of the 4th IEEE International Software Metrics Symposium, pp. 82-89, Albuquerque, New Mexico, November 1997.

E. Wong, J. R. Horgan, S. London, and A. P. Mathur, On the Size, Coverage and Fault Detection Effectiveness of a Test Set, Proc. of the 5th IEEE International Symposium on Software Reliability Engineering, pp. 230-238, Monterey, CA, November 1994.

Ghosh, A. P. Mathur, J. R. Horgan, J. J. Li, and W. E. Wong, Software Fault Injection Testing on a Distributed System -- A Case Study,  Proc. of the 1st International Quality Week Europe, Brussels, Belgium, November 1997.

H. Poore and C. J. Trammell, Application of statistical science to testing and evaluating software intensive systems, Statistics, Testing, and Defense Acquisition, National Academy Press, Washington D. C., 1998.

Kirk Sayre, Improved techniques for software testing based on Markov chain usage models, Ph.D Thesis, University of Tennessee, 1999.

Trammell, Quantifying the reliability of software: statistical testing based on a usage model, Proceedings of the 2nd IEEE Software Engineering Standards Symposium, 1995. http://www.computer.org/proceedings/isess/7137/71370208abs.htm.

H. Walton, J. H. Poore, and C. J. Trammell, Statistical testing of software based on a usage model, Software Practice and Experience, Jan. 1995, pp97-108.

A. Whittaker and M. G. Thomason, A markov chain for ststistical software testing, IEEE Trans. on Software Engineering, Oct. 1994, pp812-824. 

A. Whittaker, Markov chain techniques for software testing and reliability analysis, Ph. D Dissertation, Department of Computer Science, University of Tennessee, Knoxville, 1992. http://citeseer.nj.nec.com/sayre99improved.html.

A. Whittaker and J. H. Poore, Markov analysis of software specifications, ACM Transactions on Software Engineering and Methodology, January 1993, pp93-106.

Robinson, Graph Theory Techniques in model-based testing, 1999 International Conference on Testing Computer Software, 1999. http://www.geocities.com/harry\_robinson\_testing/graph\_theory.htm.

Arnold, Thomas R. NuMega's Practical Guide to Software Testing with Visual Test 4.0. Indianapolis, IN: IDG Books Worldwide, 1996. ISBN 0-7645-8000-0.

Arnold, Thomas R. Visual Test 6 Bible. Foster City, CA: IDG Books Worldwide, 1999. ISBN: 0764532553.

Beizer, Boris. Black Box Testing. New York: John Wiley & Sons, 1995, ISBN 0-471-120904-4.

Beizer, Boris. Software System Testing and Quality Assurance. New York: Van Nostrand Reinhold, 1984. ISBN 0-442-21306-9, 1-85032-821-8.

Beizer, Boris. Software Testing Techniques, Second Edition. New York: Van Nostrand Reinhold, 1990. ISBN 0-442-20672-0, 1-85032-880-3.

Binder, Robert S. Testing Object-Oriented Systems: Models, Patterns, and Tools. Reading, MA: Addison-Wesley, 1999. ISBN 0-201-80938-9.

Bourne, Kelly C. Testing client/server systems. New York: McGraw Hill, 1997. ISBN 0070066884.

Bryan, William L. and Stanley G. Siegel. Software Product Assurance: Techniques for Reducing Software Risk. New York: Elsevier, 1988. ISBN 044401120X.

Daich, Gregory, Gordon Price, Bryce Ragland, and Mark Dawood. STSC Software Test Technologies Report. USAF Software Technology Support Center, 1994.

DeMillo, R.A., W. M. McCracken, R. J. Martin, and J. F. Passafiume, Software Testing and Evaluation. Menlo Park, CA: Benjamin/Cummings, 1987. ISBN 0-8053-2535-2.

Deutsch, M.S. Software Verification and Validation - Realistic Project Approaches. Englewood Cliffs, NJ: Prentice Hall, 1982. ISBN 0-13-822072-7.

Dunn, Robert H. Software Defect Removal. New York: McGraw-Hill, 1984. ISBN 0070183139.

Dunn, R. H. Software Quality: concepts and plans. Englewood Cliffs, NJ: Prentice Hall, 1990. ISBN 0-13-820283-4.

Dustin, Elfriede, Jeff Rashka, and John Paul. Automated Software Testing: introduction, management, and performance. Reading, Mass: Addison-Wesley, 1999. ISBN 0-201-43287-0.

Fewster, Mark and Dorothy Graham. Software Test Automation. Reading, MA: Addison-Wesley, 1999. ISBN 0201331403.

Flowers, S. Software Failure: Management Failure. Chichester: John Wiley, 1996.

Friedman, Michael and Jeffrey M. Voas, Software Assessment: Reliability, Safety, Testability. New York: Wiley Press, 1995. ISBN 0-471-01009-X.

Goglia, Patricia A. Testing client/server applications. Boston: QED Pub. Group, 1993. ISBN 0894354507.

Hayes, L. Automated Testing Handbook. Available from the Software Testing Institute, Dallas, TX. 1995. (See link in Software Testing Consultants.)

Hetzel, Bill. The Complete Guide to Software Testing, Second Edition. Wellesley, MA: QED Information Sciences, 1988. ISBN 0-89435-242-3.

Howden, William E. Functional Program Testing and Analysis. New York: McGraw-Hill, 1987. ISBN 0070305501.

Jarvis, Alka and Vern Crandall. Inroads to Software Quality: "How To" Guide and Toolkit. Upper Saddle River, N.J.: Prentice Hall PTR, 1997. ISBN 0132384035.

Jorgensen, Paul. Software Testing: A Craftsman's Approach. Boca Raton: CRC Press, 1995. ISBN 084937345X.

Kaner, Cem. Bad Software: What to Do When Software Fails. John Wiley & Sons, 1998. ISBN 0471318264.

Kaner, Cem, Jack Falk, and Hung Quoc Nguyen. Testing Computer Software, Second Edition. Boston: International Thomson Computer Press, 1993. ISBN 1-85032-847-1. John Wiley & Sons, Inc., 1999. ISBN 0-471-35846-0.

Kaplan, Craig, Ralph Clark, and Victor Tang. Secrets of software quality: 40 innovations from IBM. New York: McGraw-Hill, 1995. ISBN 0079117953.

Kit, Edward. Software Testing in the Real World: Improving the Process. ACM Press/Addison-Wesley, 1995. ISBN 0-201-87756-2.

Lyu, Michael R., ed. Handbook of Software Reliability Engineering. New York: McGraw Hill, 1996. ISBN 0070394008.

Marick, Brian. The Craft of Software Testing. Englewood Cliffs, NJ: Prentice Hall, 1995. ISBN 0-13-177411-5.

Marks, D. M. Testing Very Big Systems. New York: McGraw Hill, 1992. ISBN 0-07-040433-X.

Miller, Edward, ed. Automated Tools for Software Engineering. New York: IEEE Computer Society, 1979.

Miller, Edward and William E. Howden Software Testing and Validation Techniques, 2nd ed. New York: IEEE Computer Society Press, 1981.

Miller Jr., E. F. (1984) Software Testing Technology: An Overview. Reprinted from Handbook of Software Engineering. C.R. Vick and C.V. Ramamoorthy, eds. Van Nostrand Reinhold Co., 1984.

Meulen, M. J. P. van der, Definitions for Hardware/Software Reliability Engineers, 1995. ISBN 90-9008437-1.

Mosley, Daniel J. The Handbook of MIS Application Software Testing: methods, techniques, and tools for assuring quality through testing. Englewood Cliffs, NJ: Prentice Hall, 1993. ISBN 0-13-907007-9.

Musa, John D. Software Reliability Engineering: More Reliable Software, Faster Development and Testing. New York: McGraw-Hill, 1998. ISBN 0-07-913271-5.

Musa, J., A. Iannino, and K. Okumoto Software Reliability: Measurement, Prediction, Application. McGraw-Hill, 1987. ISBN 007044093-X (1987) 0070441197 (1990).

Myers, Glenford J. The Art of Software Testing. New York: John Wiley and Sons, 1979. ISBN 0-471-04328-1.

Nielsen, Jakob. Usability engineering. Boston: Academic Press, 1993. ISBN 0125184050.

Ould, M.A., Unwin, C., eds. Testing in Software Development. Cambridge: Cambridge University Press, 1986. ISBN 0-521-33786-0.

Parrington, Normal and Marc Roper. Understanding Software Testing. Ellis Horwood Limited, 1989. ISBN 0-7458-0533-7 (Ellis Horwood Limited), ISBN 0-470-21462-7 (Halsted Press).

Patton, Ron. Software Testing. Indianapolis, IN: Sams Publishing, 2000. ISBN 0-672-31983-7.

Perry, William E. Effective Methods for Software Testing. New York: Wiley, 1995. ISBN 0471060976.

Perry, William E. How to Test Software Packages: a step-by-step guide to assuring they do what you want. New York: Wiley, 1986. ISBN 0471817848.

Perry, William E. A standard for testing application software. Boston: Auerbach Publishers, 1992. ISBN 0791309754.

Perry, William E. A structured approach to systems testing. Wellesley, Mass.: QED Information Sciences, 1988. ISBN 0894352334.

Peterson, Ivars Fatal Defect: Chasing Killer Computer Bugs, New York: Times Books (Random House), 1995.

Putnam, L. Measures For Excellence: Reliable Software On Time, Within Budget, 1991.

Schulmeyer, G. Gordon and James I. McManus, eds. Total quality Management for Software. New York: Van Nostrand Reinhold, 1992. ISBN 0442007949.

Rae, A., P. Robert and H. Hausen (eds.) Software Evaluation for Certification: Principles, Practice and Legal Liability. London: McGraw Hill, International Software Quality Assurance Series, 1995.

Rakitin, Steven R. Software Verification and Validation: a practitioner's guide. Boston: Artech House, 1997. ISBN 0890068895.

Roper, Marc. Software Testing. London; New York: McGraw-Hill, 1994. ISBN 0077074661.

Royer, Tom C. Software Testing Management - Life on the Critical Path. Englewood Cliffs, NJ: Prentice Hall, 1993. ISBN 0-13-532987-6.

Rubin, Jeffrey. Handbook of usability testing: how to plan, design, and conduct effective tests. New York: Wiley, 1994.

Sauer, C. Why information systems fail: a case study approach. Alfred Waller: Oxford, England, 1993.

Siegel, Shel. Object Oriented Software Testing: a Hierarchical Approach. New York: Wiley Computer Pub., 1996. ISBN 0471137499.

Sharp, Alec. Software Quality and Productivity. New York: Van Nostrand Reinhold, 1993. ISBN 0442012187.

Voas, Jeffrey M. and Gary McGraw. Software Fault Injection: Inoculating Programs Against Errors. New York: Wiley Computer Pub., 1997. ISBN 0471183814.

Weinberg, Gerald M. Quality Software Management, vols. 1-4. New York, N.Y.: Dorset House Pub., 1991. ISBN 0932633226.

Wiener, Lauren. Digital Woes: Why We Should Not Depend on Software, Addison-Wesley Pub. Co., 1993. ISBN 0201626098.

Wilson, Rodney. UNIX Test Tools and Benchmarks. Prentice Hall, 1995. ISBN 0-13-125634-3.