IBM Skip to main content
  Home     Products & services     Support & downloads     My account  
  Select a country  
Journals Home  
  Systems Journal  
  ·  Current Issue  
  ·  Recent Issues  
  ·  Papers in Progress  
  ·  Search/Index  
  ·  Orders  
  ·  Description  
  ·  Author's Guide  
Journal of Research
and Development
  Staff  
  Contact Us  
  Related link:  
     IBM Software
   Engineering		  
IBM Systems Journal  
Volume 41, Number 1, 2002
Software Testing and Verification
 Table of contents: arrowHTML arrowPDF arrowASCII   This article: arrowHTML arrowPDF arrowASCII arrowCopyright info
   

Software debugging, testing, and verification - References
by B. Hailpern and P. Santhanam

Cited references

  1. F. P. Brooks, The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, Addison-Wesley Longman, Reading, MA (1995).
  2. G. J. Myers, Software Reliability: Principles and Practices, John Wiley & Sons, Inc., New York (1976).
  3. Glossary of Software Engineering Terminology, ANSI/IEEE Standard 729-1983, IEEE Standard, IEEE, NY (1983).
  4. M. S. Deutsch, Software Verification and Validation: Realistic Project Approaches, Prentice-Hall, Inc., Englewood Cliffs, NJ (1982).
  5. R. S. Pressman, Software Engineering: A Practitioner's Approach, McGraw-Hill, New York (1992).
  6. IEEE Guide to the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software, IEEE Standard 982.2-1988, IEEE, New York (1989).
  7. W. S. Humphrey, Managing the Software Process, Addison-Wesley Publishing Co., Reading, MA (1990).
  8. N. Francez, Program Verification, Addison-Wesley Publishing Co., Reading, PA (1992).
  9. M. E. Fagan, “Design and Code Inspections to Reduce Errors in Program Development,” IBM Systems Journal 15, No. 3 (1976).
  10. G. J. Myers, The Art of Software Testing, John Wiley & Sons, Inc., New York (1976).
  11. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York (1990).
  12. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, MIT Press, Cambridge, MA (2000).
  13. Model Checking Software, Proceedings, Eighth International SPIN Workshop, Toronto, Canada (May 19–20, 2001).
  14. K. R. Apt and E. R. Olderog, Verification of Sequential and Concurrent Programs, Second Edition, Springer-Verlag, Heidelberg (1997).
  15. H. Lieberman, “The Debugging Scandal and What to Do About It,” Communications of the ACM 40, No. 4, 26–29 (April 1997).
  16. M. Eisenstadt, “My Hairiest Bug War Stories,” Communications of the ACM 40, No. 4, 31–37 (April 1997).
  17. R. Baecker, C. DiGiano, and A. Marcus, “Software Visualization for Debugging,” Communications of the ACM 40, No. 4, 44–54 (April 1997), and other papers in the same issue.
  18. W. De Pauw and G. Sevitsky, “Visualizing Reference Patterns for Solving Memory Leaks in Java,” Lecture Notes in Computer Science 1628, Springer-Verlag, Heidelberg (1999), pp. 116–134 (Proceedings, European Conference on Object-Oriented Programming, Lisbon, Portugal).
  19. S. Horowitz, T. Reps, and D. Binkley, “Interprocedural Slicing Using Dependence Graphs,” ACM Transactions on Programming Languages and Systems 12, No. 1, 26–60 (January 1990).
  20. W. Polak, “Compiler Specification and Verification,” Lecture Notes in Computer Science 124, Springer-Verlag, Heidelberg (1981).
  21. E. W. Dijkstra, “Notes on Structured Programming,” Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Editors, Academic Press, London (1972), pp. 1–82.
  22. D. Hamlet, “Foundations of Software Testing: Dependability Theory,” Software Engineering Notes 19, No. 5 (Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering), 128–139 (1994).
  23. J. Musa, Software Reliability Engineering, McGraw-Hill, Inc., New York (1998).
  24. S. H. Kan, J. Parrish, and D. Manlove, “In-Process Metrics for Software Testing,” IBM Systems Journal 40, No. 1, 220–241 (2001).
  25. K. Bassin, T. Kratschmer, and P. Santhanam, “Evaluating Software Development Objectively,” IEEE Software 15, No. 6, 66–74 (1998).
  26. D. Brand, “A Software Falsifier,” Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA (October 8–11, 2000), pp. 174–185.
  27. R. M. Poston, Automating Specification-Based Software Testing, IEEE Computer Society Press, Los Alamitos, CA (1996).
  28. D. Lee and M. Yannakakis, “Principles and Methods of Testing Finite State Machines—A Survey,” Proceedings of the IEEE 84, No. 8, 1090–1123 (1996).
  29. A. Paradkar, “SALT—An Integrated Environment to Automate Generation of Function Tests for APIs,” Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA (October 8–11, 2000), pp. 304–316.
  30. C. Williams, “Toward a Test-Ready Meta-Model for Use Cases,” Proceedings, Workshop on Practical UML-Based Rigorous Development Methods, Toronto, Canada (October 1, 2001), pp. 270–287.
  31. J. A. Whittaker, “What Is Software Testing? And Why Is It So Hard?” IEEE Software 17, No. 1, 70–79 (January/February 2000).
  32. M. J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S. Spoon, and A. Gujarathi, “Regression Test Selection for Java Software,” Proceedings, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Tampa, FL (October 14–18, 2001).
  33. A. Zeller, “Yesterday, My Program Worked. Today, It Does Not. Why?” Proceedings, 7th European Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on Foundations of Software Engineering, Toulouse, France (September 6–10, 1999), pp. 253–267.
  34. M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, and Y. Wolfsthal, “A Study in Coverage-Driven Test Generation,” Proceedings, 36th Design Automation Conference, New Orleans, LA (June 21–25, 1999), pp. 970–975.
  35. F. I. Vokolos and E. J. Weyuker, “Performance Testing of Software Systems,” Proceedings, First ACM SIGSOFT International Workshop on Software and Performance, Santa Fe, NM (October 12–16, 1998), pp. 80–87.
  36. R. H. Carver and K.-C. Tai, “Replay and Testing for Concurrent Programs,” IEEE Software 8, No. 2, 66–74 (March 1991).
About IBM | Privacy | Legal | Contact