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]
Maintained by 