| 2013 | Testing Database-Centric Applications for Causes of Database Deadlocks. | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy |
| 2013 | A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. | Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis |
| 2013 | Applying Combinatorial Testing to the Siemens Suite. | Laleh Shikh Gholamhossein Ghandehari, Mehra N. Borazjany, Yu Lei, Raghu Kacker, D. Richard Kuhn |
| 2013 | Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal. | Jean-Marie Gauthier |
| 2013 | AURORA: AUtomatic RObustness coveRage Analysis Tool. | Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2013 | Leveraging Light-Weight Analyses to Aid Software Maintenance. | Zachary P. Fry, Westley Weimer |
| 2013 | EvoSuite at the SBST 2013 Tool Competition. | Gordon Fraser, Andrea Arcuri |
| 2013 | EvoSuite: On the Challenges of Test Case Generation in the Real World. | Gordon Fraser, Andrea Arcuri |
| 2013 | Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. | Dominik Franke, Stefan Hempel, Stefan Kowalewski |
| 2013 | TAIC PART 2013 Workshop Summary. | Michael Felderer, Sigrid Eldh, Vladimir Entin, Nadia Alshahwan |
| 2013 | A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods. | Sheikh Umar Farooq, S. M. K. Quadri, Nesar Ahmad |
| 2013 | Does Principal Component Analysis Improve Cluster-Based Analysis? | Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket |
| 2013 | Using Projections to Debug Large Combinatorial Models. | Eitan Farchi, Itai Segall, Rachel Tzoref-Brill |
| 2013 | Transformation Rules for Platform Independent Testing: An Empirical Study. | Anders Eriksson, Birgitta Lindstrm, Jeff Offutt |
| 2013 | Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
| 2013 | A Constraint Solver for PHP Arrays. | Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet |
| 2013 | Random Grammar-Based Testing for Covering All Non-terminals. | Alos Dreyfus, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2013 | Crowdsourcing GUI Tests. | Eelco Dolstra, Raynor Vliegendhart, Johan A. Pouwelse |
| 2013 | Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study. | Kivanc Doganay, Markus Bohlin, Ola Sellin |
| 2013 | Empirical Evaluation of the Statement Deletion Mutation Operator. | Lin Deng, Jeff Offutt, Nan Li |
| 2013 | Welcome from the Chairs. | Mrcio Eduardo Delamaro, Haitao Dan, Yue Jia |
| 2013 | A Late Treatment of C Precondition in Dynamic Symbolic Execution. | Mickal Delahaye, Nikolai Kosmatov |
| 2013 | Organization of Testing Activities in Norwegian Software Companies. | Anca Deak, Tor Stlhane |
| 2013 | Understanding the Influence of Social and Technical Factors Testers in Software Organizations. | Anca Deak |
| 2013 | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. | Frdric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germn Vega, Julien Botella, Safouan Taha |