| 2009 | A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications. | Jens Nodler, Helmut Neukirchen, Jens Grabowski |
| 2009 | Using Execution Paths to Evolve Software Patches. | ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest |
| 2009 | Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. | Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | Quality Assurance of Software Applications Using the In Vivo Testing Approach. | Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu |
| 2009 | Transforming and Selecting Functional Test Cases for Security Policy Testing. | Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry |
| 2009 | Temporal White-Box Testing Using Evolutionary Algorithms. | Noura Al Moubayed, Andreas Windisch |
| 2009 | Towards an Industrial Strength Process for Timed Testing. | Ralf Mitsching, Carsten Weise, Andr Kolbe, Henrik C. Bohnenkamp, Norbert Berzen |
| 2009 | An Extensible Heuristic-Based Framework for GUI Test Case Maintenance. | Scott McMaster, Atif M. Memon |
| 2009 | Test Automation on a SaaS Platform. | Reena Mathew, Ryan Spraetz |
| 2009 | Clustering and Tailoring User Session Data for Testing Web Applications. | Xingmin Luo, Fan Ping, Mei-Hwa Chen |
| 2009 | An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage. | Nan Li, Upsorn Praphamontripong, Jeff Offutt |
| 2009 | On the Effectiveness of Test Extraction without Overhead. | Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol |
| 2009 | Assertion-Based Validation of Modified Programs. | Bogdan Korel, Qi Zhang, Li Tao |
| 2009 | Experimental Comparison of Code-Based and Model-Based Test Prioritization. | Bogdan Korel, George Koutsogiannakis |
| 2009 | Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned. | Negar Koochakzadeh, Vahid Garousi, Frank Maurer |
| 2009 | Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations. | Thomas Knauth, Christof Fetzer, Pascal Felber |
| 2009 | Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. | Johannes Kloos, Robert Eschbach |
| 2009 | Empirical Observations on Software Testing Automation. | Katja Karhu, Tiina Repo, Ossi Taipale, Kari Smolander |
| 2009 | Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
| 2009 | Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis. | Ren Just, Franz Schweiggert |
| 2009 | Seasonal Variation in the Vulnerability Discovery Process. | HyunChul Joh, Yashwant K. Malaiya |
| 2009 | Unit Testing Non-functional Concerns of Component-based Distributed Systems. | James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt |