| 2013 | R2Fix: Automatically Generating Bug Fixes from Bug Reports. | Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz |
| 2013 | CHECK-THEN-ACT Misuse of Java Concurrent Collections. | Yu Lin, Danny Dig |
| 2013 | The Forth International Workshop on Security Testing (SECTEST 2013). | Keqin Li, Wissam Mallouli |
| 2013 | Improving Test Suites Maintainability with the Page Object Pattern: An Industrial Case Study. | Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro |
| 2013 | Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization. | Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro |
| 2013 | Challenges of Testing for Critical Interactive Systems. | Valria Lelli |
| 2013 | Smartesting CertifyIt: Model-Based Testing for Enterprise IT. | Bruno Legeard, Arnaud Bouzy |
| 2013 | Model-Based Vulnerability Testing for Web Applications. | Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2013 | En Garde: Winning Coding Duels through Genetic Programming. | Kiran Lakhotia |
| 2013 | Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria. | Yvan Labiche, Faezeh Rafsanjani Sadeghi |
| 2013 | Combinatorial Coverage Measurement Concepts and Applications. | D. Richard Kuhn, Itzel Dominguez Mendoza, Raghu Kacker, Yu Lei |
| 2013 | Mutation Operators for the Atlas Transformation Language. | Yasser A. Khan, Jameleddine Hassine |
| 2013 | Defect Prioritization in the Software Industry: Challenges and Opportunities. | Nilam Kaushik, Mehdi Amoui, Ladan Tahvildari, Weining Liu, Shimin Li |
| 2013 | Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems. | Gregory M. Kapfhammer, Phil McMinn, Chris J. Wright |
| 2013 | Formal Modeling and Verification of SDN-OpenFlow. | Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi |
| 2013 | SOA Grey Box Testing - A Constraint-Based Approach. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | A Method of Making Single Function Tests for Constituting Scenario Tests. | Noriaki Ichida, Takeshi Sumi, Hideto Ogasawara |
| 2013 | A Denotational Model for Interrupt-Driven Programs. | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
| 2013 | Automatic Generation of Test Drivers for Model Inference of Web Applications. | Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier |
| 2013 | The Impact of Concurrent Coverage Metrics on Testing Effectiveness. | Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel |
| 2013 | GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software. | Erik Hill, Daniel J. Tracy, Sheldon Brown |
| 2013 | AutoQUEST - Automated Quality Engineering of Event-Driven Software. | Steffen Herbold, Patrick Harms |
| 2013 | Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. | Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2013 | A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. | Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat |
| 2013 | Automated Detection of Test Fixture Strategies and Smells. | Michaela Greiler, Arie van Deursen, Margaret-Anne D. Storey |