Testing References

1
Testing References

• EE599 Software VV
• Winter 2006
• Diane Kelly Terry Shepard

2
References 1

• 1 C.A.R. Hoare, How did software get so
  reliable without proof?, Formal Methods Europe
  96, Keynote speech
• 2 D. Hamlet and R. Taylor, Partition Testing
  does not Inspire Confidence, IEEE Transactions
  on Software Engineering, Dec. 1990, pp. 1402-1411
• 3 Edward Kit, Software Testing in the Real
  World Improving the Process, Addison Wesley,
  1995
• 4 Brian Marick, The Craft of Software Testing,
  Prentice Hall, 1995
• 5 Boris Beizer, Software Testing Techniques,
  2nd Edn, Van Nostrand Reinhold, 1990
• 6 T.J. Ostrand and M.J. Balcer, The
  Category-Partition Method for Specifying and
  Generating Functional Tests, Communications of
  the ACM 31, 6, June 1988, pp. 676-686
• 7 Robert Binder, Object Magazine 1995
  http//www.rbsc.com/pages/myths.html
• 8 Robert Poston, Specification-Based Software
  Testing, IEEE Computer Society, 1996

3
References 2

• 9 James Bach, General Functionality and
  Stability Test Procedure, http//www.testingcraft.
  com/bach-exploratory-procedure.pdf
• 10 Bill Hetzel, The Complete Guide to Software
  Testing, 2nd ed., 1988, WileySons
• 11 Cem Kaner, Jack Falk, Hung Quoc Nguyen,
  Testing Computer Software, 2nd ed., 1993, Van
  Nostrand Reinhold
• 12 Andrew Rae, Phillippe Robert, Hans-Ludwig
  Hausen, Software Evaluation for Certification,
  1995, McGraw Hill
• 13 William Perry, Effective Methods for
  Software Testing, 1995, John Wiley Sons
• 14 John McGregor and David Sykes, A Practical
  Guide to Testing Object-Oriented Software,
  Addison Wesley, 2001, ISBN 0-201-32564-0 393 pp.
• 15 G.J. Myers, The Art of Software testing,
  Wiley, 1979
• 16 Cem Kaner, Jack Faulk, and Hung Quoc Nguyen,
  Testing Computer Software, 2nd Edition, Van
  Nostrand, 1993

4
References 3

• 17 DO-178B Software Considerations in Airborne
  System and Equipment Certification
• 18 IEEE 829 - 1998, Standard for Software Test
  Documentation
• 19 Mark Fewster and Dorothy Graham, Software
  Test Automation Effective Use of Test Execution
  Tools, ACM Press, 1999
• 20 www.sei.cmu.edu/cmm/cmms/cmms.html
• 21 James Bach, Test Automation Snake Oil,
  First published Windows Tech Journal, 10/96 (see
  articles at http//www.satisfice.com/
• 22 Robert Poston A Guided Tour of Software
  Testing Tools, http//www.soft.com/News/TTN-Online
  /ttnjan98.html
• 23 Fewster and Graham, Software Test
  AutomationEffective Use of Test Execution Tools,
  ACM Press/Addison Wesley, 1999

5
References 4

• 24 W.J. Gutjahr, Partition Testing vs. Random
  Testing The Influence of Uncertainty, IEEE TSE,
  Sep/Oct 99, pp. 661-674, v. 25, n.5
• 25 Robert V. Binder, Testing Object Oriented
  Systems Models, Patterns, and Tools,
  Addison-Wesley, 2000 (see http//www.rbsc.com)
• 26 Capers Jones, Software quality analysis and
  guidelines for success, International Thomson
  Computer press, 1997
• 27 Andrew Rae, Phillippe Robert, Hans-Ludwig
  Hausen, Software Evaluation for Certification,
  1995, McGraw Hill
• 28 Shari Lawrence Pfleeger, Software
  Engineering Theory and Practice, 2nd ed.,
  Prentice Hall, 2001
• 29 Hong Zhu, Patrick Hall, John May, Software
  Unit Test Coverage and Adequacy, ACM Computing
  Surveys, Vol.29, No.4, Dec.1997
• 30 IEEE Std 610.12 - 1990, IEEE Standard
  Glossary of Software Engineering Terminology

6
References 5

• 31 James Whittaker,What is Software Testing?
  And Why is it so Hard?, IEEE Software,
  Jan./Feb.2000, pp.70-79
• 32 Jeffrey Voas, Gary McGraw, Software Fault
  Injection, Wiley Computer Publishing, 1998
• 33 Ron Patton, Software Testing, Sams
  Publishing, 2001
• 34 Dorothy Graham, Requirements and Testing
  Seven Missing-Link Myths, IEEE Software,
  Sept/Oct 2002, pp. 15-17