| 2013 | The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. | Luca Vigan |
| 2013 | Research Questions for Model-Based Vulnerability Testing of Web Applications. | Alexandre Vernotte |
| 2013 | Proposal of Testing Diagrams for Visualizing Test Cases. | Seiya Urata, Tetsuro Katayama |
| 2013 | Algorithms for Basic Compliance Problems. | Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre |
| 2013 | A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker. | Arne-Michael Trsel |
| 2013 | Test Quality Measurement Using TBPP-R. | Jun Tang, Ruilong Huo, Jiali Yao, Shaosen Wu |
| 2013 | Generating Unit Tests for Concurrent Classes. | Sebastian Steenbuck, Gordon Fraser |
| 2013 | A Process for Assessing Data Quality. | Harry M. Sneed, Birgit Demuth, Bjoern Freitag |
| 2013 | MFL: Method-Level Fault Localization with Causal Inference. | Gang Shu, Boya Sun, Andy Podgurski, Feng Cao |
| 2013 | JavaPDG: A New Platform for Program Dependence Analysis. | Gang Shu, Boya Sun, Tim A. D. Henderson, Andy Podgurski |
| 2013 | Search-Based Propagation of Regression Faults in Automated Regression Testing. | Sina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso |
| 2013 | Coverage Specification for Test Case Intent Preservation in Regression Suites. | Elie Shaccour, Fadi A. Zaraket, Wes Masri |
| 2013 | Online Model-Based Behavioral Fuzzing. | Martin A. Schneider, Jrgen Gromann, Ina Schieferdecker, Andrej Pietschker |
| 2013 | Generic Approach for Security Error Detection Based on Learned System Behavior Models for Automated Security Tests. | Christian Schanes, Andreas Hubler, Florian Fankhauser, Thomas Grechenig |
| 2013 | Deriving Combinatorial Test Design Model from UML Activity Diagram. | Preeti Satish, K. Sheeba, Krishnan Rangarajan |
| 2013 | OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages. | Kazunori Sakamoto, Kiyofumi Shimojo, Ryohei Takasawa, Hironori Washizaki, Yoshiaki Fukazawa |
| 2013 | Reconstructing Core Dumps. | Jeremias Rler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea |
| 2013 | Estimating Fault Numbers Remaining After Testing. | Marc Roper |
| 2013 | Reusing Automated Regression Tests for Multiple Variants of a Software Product Line. | Rudolf Ramler, Werner Putschgl |
| 2013 | A Study in Prioritization for Higher Strength Combinatorial Testing. | Xiao Qu, Myra B. Cohen |
| 2013 | Software-Based Remote Attestation for Safety-Critical Systems. | Christopher Preschern, Andreas Johann Hrmer, Nermin Kajtazovic, Christian Kreiner |
| 2013 | Measuring T2 against SBST 2013 Benchmark Suite. | I. S. W. B. Prasetya |
| 2013 | Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary. | Simon M. Poulding, Tanja E. J. Vos |
| 2013 | Generating Effective Integration Test Cases from Unit Ones. | Mauro Pezz, Konstantin Rubinov, Jochen Wuttke |
| 2013 | A Method and Tool for Test Optimization for Automotive Controllers. | Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik |