| 2009 | WS-TAXI: A WSDL-based Testing Tool for Web Services. | Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini |
| 2009 | Pruning the Search Space in Path-Based Test Generation. | Sbastien Bardin, Philippe Herrmann |
| 2009 | Test Case Generation Using Model Checking for Software Components Deployed into New Environments. | Tonglaga Bao, Michael D. Jones |
| 2009 | Test Input Generation Using UML Sequence and State Machines Models. | Aritra Bandyopadhyay, Sudipto Ghosh |
| 2009 | Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. | Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock |
| 2009 | Keynote Paper: Search Based Software Testing for Software Security: Breaking Code to Make it Safer. | Giuliano Antoniol |
| 2009 | Automatic Test Generation for Coverage Analysis of ERTMS Software. | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
| 2009 | Formal Correctness of a Passive Testing Approach for Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | Passive Testing of Stochastic Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | Advantages of Mutation in Passive Testing: An Empirical Study. | Csar Andrs, Mercedes G. Merayo, Carlos Molinero |
| 2009 | An Alternative Approach to Test Effort Estimation Based on Use Cases. | rika Regina Campos de Almeida, Bruno Teixeira de Abreu, Regina Lcia de Oliveira Moraes |
| 2009 | Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2009 | A Model for the Measurement of the Runtime Testability of Component-Based Systems. | Alberto Gonzlez, ric Piel, Hans-Gerhard Gross |
| 2008 | Mining Software Repositories to Study Co-Evolution of Production & Test Code. | Andy Zaidman, Bart Van Rompaey, Serge Demeyer, Arie van Deursen |
| 2008 | Testing Java Components based on Algebraic Specifications. | Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu |
| 2008 | Generating Test Requirements for the Service Connections based on the Layers of SOA. | Hoijin Yoon, Eun Mi Ji, Byoungju Choi |
| 2008 | A Crosstab-based Statistical Method for Effective Fault Localization. | W. Eric Wong, Tingting Wei, Yu Qi, Lei Zhao |
| 2008 | Test Data Provision for ERP Systems. | Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker |
| 2008 | Quality of Automatically Generated Test Cases based on OCL Expressions. | Stephan Weileder, Bernd-Holger Schlingloff |
| 2008 | The Use of Intra-Release Product Measures in Predicting Release Readiness. | M. P. Ware, F. George Wilkie, Mary Shapcott |
| 2008 | An Evaluation of Two Bug Pattern Tools for Java. | Stefan Wagner, Florian Deissenboeck, Michael Aichner, Johann Wimmer, Markus Schwalb |
| 2008 | Testing Predictive Software in Mobile Devices. | Venkata Raghunath Vemuri |
| 2008 | Contract-Based Verification for Aspect-Oriented Refactoring. | Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai |
| 2008 | When it comes to Testing, is Usability the Closest Analogy to Security? | Sven Trpe |
| 2008 | Security Testing: Turning Practice into Theory. | Sven Trpe |