Software Testing Research Survey

Software Testing Research Survey Bibliography

Software Model Checking. R. Jhala and R. Majumdar. ACM Computing Surveys. [PDF]
Software Testing Research: Achievements, Challenges, Dreams, A. Bertolino, In Future of Software Engineering at ICSE 2007, Minneapolis, USA, 20 - 26 May 2007 [PDF]
Testing: A Roadmap. Mary Jean Harrold. In Future of Software Engineering, 22nd International Conference on Software Engineering, June 2000. [PDF]
An Introduction to Software Testing. Luciano Baresi, Mauro Pezzè: . Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006) [PDF]
Software Testing Research and Practice, A. Bertolino, Invited presentation at 10th International Workshop on Abstract State Machines ASM 2003, Taormina, Italy, March 3-7, 2003, LNCS 2589, p. 1-21. [PDF]
An overview of automated software testing.Antonia Bertolino. Journal of Systems and Software 15(2): 133-138 (1991) [PDF]
Software Testing, Michal Young, The University of Washington/Microsoft Research Summer Institute on Technologies to Improve Software Development, 1999. [Slides]
Software Testing and Analysis, Mauro Pezzè, Michal Young, Proceedings of the 20th International Conference on Foundations on Software Engineering (FSE'98), Orlando, November 1998. [PDF]
Validation, Verification, and Testing of Computer Software, W. Richards Adrion and Martha A. Branstad and John C. Cherniavsky, ACM Comput. Surv.Volume 14 , Issue 2 (June 1982). [PDF]
Software Testing. Gregory M. Kapfhammer. The Computer Science and Engineering Handbook, CRC Press. May, 2004. To appear. (Revised and Extended Version).[PDF]
A Brief Essay on Software Testing. A. Bertolino and E. Marchetti Technical report, 2004. [PDF]
Directions for U.S. Research and Development Efforts on Software Testing and Analysis, 1989. [PDF]
Model-based testing by Alexander Pretschner. [PDF]
Model Based Test Generation Survey by Alan Hartman. [PDF]
A Taxionomy of Model-Based Testing by Mark Utting, Alexander Pretschner, and Bruno Legeard 2006 [PDF]
Model Based Testing by Mark Utting [PDF]
Model Based Testing Survey [HTML]
A Literature Study of Software Testing and the Automated Aspects thereof, R. Torkar [PDF]
A Survey on Automatic Test Data Generation by Jon Edvardsson, 1999 [PDF]
A Survey on Automatic Test Case Generation by Prasanna et al. 2005 [HTML]
Software Model Checking: Searching for Computations in the Abstract or the Concrete by Patrice Godefroid and Nils Klarlund, 2005 [PDF]
Software Engineering for Secure Software- State of the Art: A Survey by Jayaram K R and Aditya Mathur [PDF]
Test Generation using Model Checking by Hung Tran [PDF]
Combination Testing Strategies: A Survey by Grindal et al. 2004 [PDF]
Software and Hardware Testing Using Combinatorial Covering Suites. Alan Hartman. [PDF]
Introduction to special section on software testing, R. Hamlet, Communications of the ACM June 1988, Volume 31 Issue 6 [PDF]
Working together: Formal Methods and Testing, K. Bogdanov et al. FORTEST landscapes document. [PDF]
Search-based Software Testing: A Survey by P. McMinn, Software Testing, Verification and Reliability. [PDF]
Data Flow Testing, N. Gupta and R. Gupta, The Compiler Design Handbook: Optimizations and Machine Code Generation, Chapter 7, pages 247-267, CRC Press, September 2002.[PS]
Book chapters in Software Test and Analysis: Process, Principles, and Techniques, Mauro Pezze` and Michal Young [PDF]
Test Oracles, Luciano Baresi and Michal Young, [PDF]
Unit Analysis and Testing, Lionel E. Deimel and Larry J. Morell. SEI Curriculum Module SEI-CM-9-2.0, 1992 [PDF]
Software Unit Testing Coverage and Adequacy, H. Zhu, P. Hall, and J. May. ACM Computing Surveys, 29(4):366--427, December 1997. [PDF]
Testing: principles and practice, Stephen R. Schach, ACM Computing Surveys (CSUR) March 1996, Volume 28 Issue 1 [PDF]
Software safety: why, what, and how, Nancy G. Leveson, ACM Computing Surveys (CSUR) June 1986, Volume 18 Issue 2 [PDF]
Symbiosis of Static Analysis & Software Testing, Michal Young. [PDF]
Static and dynamic analysis: Synergy and duality, by Michael D. Ernst. In WODA 2003: ICSE Workshop on Dynamic Analysis, (Portland, OR), May 9, 2003, pp. 24-27. [PDF]
Program Analysis: A Hierarchy. A. Zeller, Proc. Workshop on Dynamic Analysis (WODA 2003), Portland, Oregon, May 2003. [PDF]
Model checking: a tutorial introduction. Muller-Olm, M., Schmidt, DA and Steffen, B. Proc. 6th SAS [PDF]
Program Analysis as Model Checking of Abstract Interpretations, D. Schmidt, B. Steffen, Proc. of Static Analysis Symposium (SAS'98), [PDF]
Theorem proving for verification by John Rushby. In Franck Cassez, editor, Modelling and Verification of Parallel Processes: MoVEP 2k, Nantes, France, June 2000. Tutorial presented at MoVEP. Springer LNAI volume 2067. [PDF]
Tutorial Introduction To Mechanized Formal Analysis Using Theorem Proving, Model Checking and Abstraction [PDF] [PDF]
Model Checking: A Tutorial Overview [PDF]
Planning as Model Checking, AIPS'02 Hands-On Tutorial. [PDF]
Temporal Logics Of Computations Introductory course (2000) [PDF]
Modal logics and mu-calculi: an introduction, [PDF] [PDF]
Qualitative methods in empirical studies of software engineering. Seaman, C.B, Software Engineering, IEEE Transactions on , Volume: 25 , Issue: 4 , July-Aug. 1999 [PDF]