Introductory Readings of Software 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]
• Using formal specifications to support testing. Hierons et al. ACM Computing Surveys (CSUR) Volume 41,  Issue 2   February 2009. [PDF]

• Symbolic execution
• Athanasios Avgerinos  Exploiting Trade-offs in Symbolic Execution for Identifying Security Bugs (2014)
• Peter Dinges  Symcretic Testing of Programs
• Saswat Anand Techniques to Facilitate Symbolic Execution of Real-world Programs
• Kin Keung Ma  Improving Program Testing and Understanding via Symbolic Execution  Slides
• David Molnar  Dynamic Test Generation for Large Binary Programs
• Suzette Person Differential Symbolic Execution
• Adam Kiezun Effective Software Testing with a String-Constraint Solver defense slides
• RuGang Xu Symbolic Execution Algorithms for Test Generation
• Koushik Sen Scalable Automated Methods for Dynamic Program Analysis (especially Chapters 1,  2.1,  4,  7,  8.1, and 9)
• Christoph Csallner  Combining over- and under-approximating program analyses for automatic software testing
• Tao Xie  Improving Effectiveness of Automated Software Testing in the Absence of Specifications (especially Chapters 1, 2, 8, and 9)
• Radom testing
• Carlos Pacheco Directed Random Testing
• Search-based testing
• Phil McMinn  Evolutionary Search for Test Data in the Presence of State Behaviour 
• Specification-based testing
• Darko Marinov  Automatic Testing of Software with Structurally Complex Inputs (especially Chapters 1, 2, 3, 6, 10, and 11)
• Sarfraz Khurshid  Generating Structurally Complex Tests from Declarative Constraints (especially Chapters 1, 2, 8, 9, and 10)
• Regression testing
• Suzette Person Differential Symbolic Execution
• Taweesup Apiwattanapong  Identifying Testing Requirements for Modified Software
• Debugging
• James A. Jones Semi-Automatic Fault Localization
• Xiangyu Zhang  Fault Location Via Precise Dynamic Slicing
• Ben Liblit  Cooperative Bug Isolation
  
• Combinatorial Testing
• Charles Song Understanding, Discovering and Leveraging a Software System's Effective Configuration Space
  

• 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

• 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]

• Software Testing Research Survey
• Software Testing Researchers 
• Tao Xie's Advice on Getting a Start into Research, Advice on Writing Research Papers, Common Technical Writing Issues, and Advice Collections