Software Testing Research

Introductory Readings of Software Testing Research

Suggested by Tao Xie

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

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]
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]
Search-based Software Testing: A Survey by P. McMinn, Software Testing, Verification and Reliability. [PDF]
Papers on Example Tools
JCrasher tool (download): JCrasher: An automatic robustness tester for Java
Rostra tool: Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests
Symstra tool: Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
CUTE/jCUTE tool (download): CUTE: A Concolic Unit Testing Engine for C
Java Pathfinder tool (download): Test input generation for Java containers using state matching

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