Software Testing and Verification

Code Coverage

• "Advanced Code Coverage Analysis Using Substring Holes". Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick. ISSTA 2009.
• "The Influence of Size and Coverage on Test Suite Effectiveness". Akbar Siami Namin and James Andrews. ISSTA 2009.
• Lightweight fault-localization using multiple coverage types. Santelices, Raul and Jones, James A. and Yanbing Yu, and Harrold, Mary Jean, ICSE 2009
• The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage. Ajitha Rajan, Michael Whalen, Mats Heimdahl, ICSE 2008
• Inter-context control-flow and data-flow test adequacy criteria for nesC applications, Lai, Zhifeng and Cheung, S. C. and Chan, W. K., FSE 2008

Mutation Testing

• Mutation-driven Generation of Unit Tests and Oracles Gordon Fraser and Andreas Zeller ISSTA 2010
• "Efficient Mutation Testing by Checking Invariant Violations" David Schuler, Valentin Dallmeier and Andreas Zeller. ISSTA 2009.
• Javalanche: efficient mutation testing for Java, Schuler, David and Zeller, Andreas, FSE 2009
• Sufficient Mutation Operators for Measuring Test Effectiveness, Akbar Siami Namin, James Andrews, Duncan Murdoch, ICSE 2008

Random Testing

• Formal Analysis of the Effectiveness and Predictability of Random Testing Andrea Arcuri, Zohaib Iqbal and Lionel Briand ISSTA 2010
• ARTOO: Adaptive Random Testing for Object-Oriented Software, Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, ICSE 2008
• Feedback-Directed Random Test Generation, Pacheco, Carlos and Lahiri, Shuvendu K. and Ernst, Michael D. and Ball, Thomas, ICSE 2007

Combinatorial Testing

• "Incremental Covering Array Failure Characterization in Large Configuration Spaces",

Specification-based Testing

• Validation of Contracts using Enabledness Preserving Finite State Abstractions Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel, ICSE 2009
• Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models, Pavese, Esteban and Braberman, V\'{\i}ctor and Uchitel, Sebastian, FSE 2009
• Sequential Circuits for Relational Analysis, Zaraket, Fadi and Aziz, Adnan and Khurshid, Sarfraz, ICSE 2007

Regression Testing

• An Empirical Study of the Effects of Test-Suite Reduction on Fault Localization, Yanbing Yu, James A. Jones, Mary Jean Harrold, ICSE 2008
• An empirical study of the effect of time constraints on the cost-benefits of regression testing, Do, Hyunsook and Mirarab, Siavash and Tahvildari, Ladan and Rothermel, Gregg, FSE 2008
• Differential symbolic execution, Person, Suzette and Dwyer, Matthew B. and Elbaum, Sebastian and P\v{a}s\v{a}reanu, Corina S., FSE 2008
• Regression Test Selection for AspectJ Software, Xu, Guoqing and Rountev, Atanas, ICSE 2007
• Compatibility and Regression Testing of COTS-Component-Based Software, Mariani, Leonardo and Papagiannakis, Sofia and Pezze, Mauro, ICSE 2007

Bounded-exhaustive Testing

• "Reducing the Costs of Bounded-Exhaustive Testing". Vilas Jagannath, Yun Young Lee, Brett Daniel and Darko Marinov. FASE 2009.

Static Analysis

• The Google FindBugs Fixit Nathaniel Ayewah and William Pugh ISSTA 2010

Search-based Testing

• "A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search". Mark Harman and Phil McMinn. TSE 2009.

Applications of Testing and Program Analysis

• "Automatic Mining of Functionally Equivalent Code Fragments via Random Testing". Lingxiao Jiang and Zhendong Su. ISSTA 2009.
• "Accurate Interprocedural Null-Dereference Analysis for Java". Mangala Gowri Nanda, Saurabh Sinha, ICSE 2009
• "Automatic creation of SQL Injection and cross-site scripting attacks". Adam Kieyzun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst. ICSE 2009
• Invariant-based automatic testing of AJAX user interfaces. Mesbah, Ali and van Deursen, Arie. ICSE 2009
• MINTS: A general framework and tool for supporting test-suite minimization, Hsu, Hwa-You and Orso, Alessandro, ICSE 2009
• The Road Not Taken: Estimating Path Execution Frequency Statically Raymond P.L. Buse, Westley R. Weimer, ICSE 2009
• Improving Slice Accuracy by Compression of Data and Control Flow Paths, Abadi, Aharon and Ettinger, Ran and Feldman, Yishai A., FSE 2009
• Test case comparison and clustering using program profiles and static execution, Vangala, Vipindeep and Czerwonka, Jacek and Talluri, Phani, FSE 2009
• Calysto: Scalable and Precise Extended Static Checking, Domagoj Babic, Alan J. Hu, ICSE 2008
• DySy: Dynamic Symbolic Execution for Invariant Inference, Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis, ICSE 2008
• Incremental State-Space Exploration for Programs with Dynamically Allocated Data, Steven Lauterburg, Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, ICSE 2008
• Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time, Bodden, Eric and Lam, Patrick and Hendren, Laurie, FSE 2008
• Deriving input syntactic structure from execution, Lin, Zhiqiang and Zhang, Xiangyu, FSE 2008
• Adaptive Online Program Analysis, Dwyer, Matthew B. and Kinneer, Alex and Elbaum, Sebastian, ICSE 2007
• Automated Generation of Context-Aware Tests, Wang, Zhimin and Elbaum, Sebastian and Rosenblum, David S., ICSE 2007

Model Checking

• Parallel Randomized State-Space Search, Dwyer, Matthew B. and Elbaum, Sebastian and Person, Suzette and Purandare, Rahul, ICSE 2007

Testing Non-functional Requirements

• Model evolution by run-time parameter adaptation. Epifani, Ilenia and Ghezzi, Carlo and Mirandola, Raffaela and Tamburrelli, Giordano, ICSE 2009
• Towards accurate probabilistic models using state refinement, Maia, Paulo H. and Kramer, Jeff and Uchitel, Sebastian and Mendon\c{c}a, Nabor C., FSE 2009
• A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications, Dufour, Bruno and Ryder, Barbara G. and Sevitsky, Gary, FSE 2008

Testing Multi-threaded / Concurrent Programs

• Asserting and checking determinism for multithreaded programs, Burnim, Jacob and Sen, Koushik, FSE 2009
• Saturation-based testing of concurrent programs, Sherman, Elena and Dwyer, Matthew B. and Elbaum, Sebastian, FSE 2009
• Symbolic pruning of concurrent program executions, Wang, Chao and Chaudhuri, Swarat and Gupta, Aarti and Yang, Yu, FSE 2009

Testing Web Applications

• Automated security testing of web widget interactions. Bezemer, Cor-Paul and Mesbah, Ali and van Deursen, Arie, FSE 2009
• Static Detection of Cross-Site Scripting Vulnerabilities, Gary Wassermann, Zhendong Su, ICSE 2008
• Automated identification of parameter mismatches in web applications, Halfond, William G. J. and Orso, Alessandro, FSE 2008

GUI Testing

• Using GUI Run-Time State as Feedback to Generate Test Cases, Yuan, Xun and Memon, Atif M., ICSE 2007

Database Testing

• Test Generation
  • An Intensional Approach to the Specification of Test Cases for Database Applications, D. Willmor and S. M. Embury, , ICSE 2006
    • Dynamic test input generation for database applications, Michael Emmi, Rupak Majumdar, Kaushik Sen. ISSTA 2007
  • Query-aware Test Generation Using a Relational Constraint Solver, S. A. Khalek, B. Elkarablieh, Y. O. Laleye, and S. Khurshid, ASE 2008
  • Symbolic Query Exploration, Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann., ICFEM 2009
  • MODA: Automated Test Generation for Database Applications via Mock Objects, Kunal Taneja, Yi Zhang, and Tao Xie, ASE 2010
  • Dynamic symbolic database application testing, Chengkai Li and Christoph Csallner, DBTest 2010
  • Constraint-based Test Database Generation for SQL Queries, Claudio de la Riva, María José Suárez-Cabal, Javier Tuya, AST 2010
  • Privacy Aware Testing
  • Privacy Aware Data Generation for Testing Database Applications, X. Wu, Y. Wang, S. Guo and Y. Zheng,
  • Is Data Privacy Always Good For Software Testing?, Mark Grechanik, Christoph Csallner, Chen Fu, and Qing Xie, ISSRE 2010
  • Coverage Criteria
  • A Family of Test Adequacy Criteria for Database-Driven Applications, G. Kapfhammer and Mary Lou Soffa, FSE 2003
  • Using an SQL coverage measurement for testing database applications, M. J. S. Cabal and J. Tuya, FSE 2004.
  • Full predicate coverage for testing SQL database queries, Javier Tuya, Mª Jose Suarez-Cabal, Claudio de la Riva, STVR 2010
  • Impact Analysis
  • Impact analysis of database schema changes, Andy Maule, Wolfgang Emmerich and David S. Rosenblum, ICSE 2008
  • Applying static analysis for automated extraction of database interactions in web applications, Minh Ngoc Ngo and Hee Beng Kuan Tan, IST 2008
  • Query Testing
  • Static Checking of Dynamically Generated Queries in Database Applications, Carl Gould, Zhendong Su, and Premkumar Devanbu, ICSE 2004