Introductory Readings of Software Testing Research
Testing Research: Achievements, Challenges, Dreams. Antonia Bertolino.
In Future of Software Engineering, 29th International
Conference on Software Engineering, May 2007. [PDF]
- Testing: A Roadmap. Mary Jean Harrold. In Future of
Software Engineering, 22nd International Conference on Software
Engineering, June 2000. [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]
- 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]
formal specifications to support testing. Hierons et al. ACM Computing
Surveys (CSUR) Volume 41, Issue 2 February 2009. [PDF]
- Symbolic execution
- Radom testing
- Combinatorial Testing
- Test Oracles, Luciano Baresi and Michal Young, [PDF]
- Software Unit Testing Coverage and Adequacy, H. Zhu, P.
Hall, and J. May. ACM Computing Surveys, 29(4):366--427, December 1997.
- 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]