Introductory Readings of Software
Testing Research
General Testing Research
- Software 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]
- Selected testing
dissertations (copies are located at our group server
/home/public/docs/testingdissertations for the NCSU ASE group members):
- Koushik
Sen's Scalable
Automated Methods for Dynamic
Program Analysis (especially Chapters 1,
2.1,
4, 7, 8.1, and 9)
- Tao
Xie's Improving
Effectiveness of Automated Software
Testing in the Absence of Specifications (especially Chapters
1, 2, 8,
and 9)
- Christoph Csallner's Combining over- and under-approximating program analyses for automatic software testing
- Darko
Marinov's Automatic
Testing of Software with
Structurally Complex Inputs (especially Chapters 1, 2, 3,
6, 10, and 11)
- Sarfraz
Khurshid's Generating
Structurally Complex Tests
from Declarative Constraints (especially Chapters 1, 2, 8, 9,
and 10)
- Phil
McMinn's Evolutionary
Search for Test Data in the Presence of State Behaviour
- Taweesup
Apiwattanapong's Identifying
Testing Requirements for Modified Software
- Xiangyu
Zhang's Fault
Location Via Precise Dynamic Slicing
- Ben Liblit's Cooperative Bug Isolation
Test Generation Research
Other Testing Research
- 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.
[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]
Resources
Maintained
by