| 2013 | A Dynamic Approach to Locating Memory Leaks. Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2013 | A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia |
| 2013 | Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko |
| 2013 | An Implementation Relation and Test Framework for Timed Distributed Systems. Christophe Gaston, Robert M. Hierons, Pascale Le Gall |
| 2013 | Automatic Grammar-Based Test Generation. Hai-Feng Guo, Zongyan Qiu |
| 2013 | Case Studies in Learning-Based Testing. Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong |
| 2013 | Chaining Test Cases for Reactive System Testing. Peter Schrammel, Tom Melham, Daniel Kroening |
| 2013 | Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. Bernard Stepien, Liam Peyton |
| 2013 | Exhaustive Model-Based Equivalence Class Testing. Wen-ling Huang, Jan Peleska |
| 2013 | Finding Errors in Python Programs Using Dynamic Symbolic Execution. Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke |
| 2013 | Guided Algebraic Specification Mining for Failure Simplification. Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage |
| 2013 | Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. Andreas Ibing |
| 2013 | Predicting the Size of Test Suites from Use Cases: An Empirical Exploration. Mourad Badri, Linda Badri, William Flageol |
| 2013 | Remote Testing of Timed Specifications. Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet |
| 2013 | Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. Feyzullah Koca, Hasan Sözer, Rui Abreu |
| 2013 | Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro |
| 2013 | Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich |
| 2013 | Towards a GUI Test Model Using State Charts and Programming Code. Daniel Mauser, Alexander Klaus, Konstantin Holl |
| 2013 | Unfolding-Based Test Selection for Concurrent Conformance. Hernán Ponce de León, Stefan Haar, Delphine Longuet |
| 2013 | Using Logic Coverage to Improve Testing Function Block Diagrams. Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
| 2013 | Variations over Test Suite Reduction. Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek |