| 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 | A Model Building Process for Identifying Actionable Static Analysis Alerts. Sarah Smith Heckman, Laurie A. Williams |
| 2009 | A Simple Approach for Estimation of Execution Effort of Functional Test Cases. Daniel Guerreiro e Silva, Bruno Teixeira de Abreu, Mário Jino |
| 2009 | A Simple Coverage-Based Locator for Multiple Faults. Friedrich Steimann, Mario Bertschler |
| 2009 | A Test Based Multidimensional Performance Model for a Mission Critical System Server. Krzysztof Rogoz, Katarzyna Figura |
| 2009 | A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon |
| 2009 | An Alternative Approach to Test Effort Estimation Based on Use Cases. Érika Regina Campos de Almeida, Bruno Teixeira de Abreu, Regina Lúcia de Oliveira Moraes |
| 2009 | An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota |
| 2009 | An Evaluation of Model Checkers for Specification Based Test Case Generation. Gordon Fraser, Angelo Gargantini |
| 2009 | An Initial Characterization of Industrial Graphical User Interface Systems. Penelope A. Brooks, Brian P. Robinson, Atif M. Memon |
| 2009 | Assertion-Based Validation of Modified Programs. Bogdan Korel, Qi Zhang, Li Tao |
| 2009 | Automated Black Box Testing Tool for a Parallel Programming Library. Roy Patrick Tan, Pooja Nagpal, Shaun Miller |
| 2009 | Automatic Test Generation for Coverage Analysis of ERTMS Software. Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
| 2009 | Clustering and Tailoring User Session Data for Testing Web Applications. Xingmin Luo, Fan Ping, Mei-Hwa Chen |
| 2009 | Dynamic Regression Test Selection Based on a File Cache. Greger Wikstrand, Robert Feldt, Jeevan Kumar Gorantla, Wang Zhe, Conor White |
| 2009 | Empirical Observations on Software Testing Automation. Katja Karhu, Tiina Repo, Ossi Taipale, Kari Smolander |
| 2009 | Euclide: A Constraint-Based Testing Framework for Critical C Programs. Arnaud Gotlieb |
| 2009 | Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models. Gursimran Singh Walia, Jeffrey C. Carver |
| 2009 | Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
| 2009 | Inferring Types of References to GUI Objects in Test Scripts. Chen Fu, Mark Grechanik, Qing Xie |
| 2009 | Mutation Testing for Java Database Applications. Chixiang Zhou, Phyllis G. Frankl |
| 2009 | On the Effectiveness of Test Extraction without Overhead. Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol |
| 2009 | Optimal Resource Allocation for Batch Testing. Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan |
| 2009 | Optimizing Generation of Object Graphs in Java PathFinder. Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2009 | Optimizing Probabilities of Real-Time Test Case Execution. Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu |
| 2009 | PKorat: Parallel Generation of Structurally Complex Test Inputs. Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2009 | Passive Testing of Stochastic Timed Systems. César Andrés, Mercedes G. Merayo, Manuel Núñez |
| 2009 | Penetration Testing with Improved Input Vector Identification. William G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso |
| 2009 | Practicing Testability in the Real World. Vishal Chowdhary |
| 2009 | Predicting Attack-prone Components. Michael Gegick, Pete Rotella, Laurie A. Williams |
| 2009 | Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. Hendrik Post, Carsten Sinz |
| 2009 | Pruning the Search Space in Path-Based Test Generation. Sébastien Bardin, Philippe Herrmann |
| 2009 | Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock |
| 2009 | Quality Assurance of Software Applications Using the In Vivo Testing Approach. Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu |
| 2009 | Seasonal Variation in the Vulnerability Discovery Process. Hyunchul Joh, Yashwant K. Malaiya |
| 2009 | Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009 |
| 2009 | Test Automation on a SaaS Platform. Reena Mathew, Ryan Spraetz |
| 2009 | Test Input Generation Using UML Sequence and State Machines Models. Aritra Bandyopadhyay, Sudipto Ghosh |
| 2009 | Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned. Negar Koochakzadeh, Vahid Garousi, Frank Maurer |
| 2009 | Testing Embedded Real Time Systems with TTCN-3. Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker |
| 2009 | The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction. Fadi Wedyan, Dalal Alrmuny, James M. Bieman |
| 2009 | Timed Testing under Partial Observability. Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2009 | Transforming and Selecting Functional Test Cases for Security Policy Testing. Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry |
| 2009 | Unit Testing Non-functional Concerns of Component-based Distributed Systems. James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt |
| 2009 | Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing 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 | WS-TAXI: A WSDL-based Testing Tool for Web Services. Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini |