| 2013 | An empirical study of PHP feature usage: a static analysis perspective. Mark Hills, Paul Klint, Jurgen J. Vinju |
| 2013 | Analysis of performance regression testing data by transaction profiles. Shadi Ghaith |
| 2013 | Automated testing with targeted event sequence generation. Casper Svenning Jensen, Mukul R. Prasad, Anders Møller |
| 2013 | Automatically repairing broken workflows for evolving GUI applications. Sai Zhang, Hao Lü, Michael D. Ernst |
| 2013 | Calculating source line level energy information for Android applications. Ding Li, Shuai Hao, William G. J. Halfond, Ramesh Govindan |
| 2013 | Collecting a heap of shapes. Earl T. Barr, Christian Bird, Mark Marron |
| 2013 | Combining model checking and testing with an application to reliability prediction and distribution. Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang |
| 2013 | Comparing non-adequate test suites using coverage criteria. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
| 2013 | Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. Xusheng Xiao, Shi Han, Dongmei Zhang, Tao Xie |
| 2013 | Data model property inference and repair. Jaideep Nijjar, Tevfik Bultan |
| 2013 | Debugging non-deadlock concurrency bugs. Sangmin Park |
| 2013 | Declarative mocking. Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein |
| 2013 | Does automated white-box test generation really help software testers? Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg |
| 2013 | Dynamically validating static memory leak warnings. Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu |
| 2013 | Efficient and flexible GUI test execution via test merging. Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha |
| 2013 | EnforceMOP: a runtime property enforcement system for multithreaded programs. Qingzhou Luo, Grigore Rosu |
| 2013 | Expressing and checking intended changes via software change contracts. Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury |
| 2013 | F3: fault localization for field failures. Wei Jin, Alessandro Orso |
| 2013 | Faster mutation testing inspired by test prioritization and reduction. Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
| 2013 | Finding rare numerical stability errors in concurrent computations. Hana Chockler, Karine Even, Eran Yahav |
| 2013 | Finding your way in the testing jungle: a learning approach to web security testing. Omer Tripp, Omri Weisman, Lotem Guy |
| 2013 | Formal safety proof: a real case study in a railway interlocking system. Andrea Bonacchi |
| 2013 | Generation of Java programs properties from test purposes. Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2013 | Generation of test databases using sampling methods. Teodora Sandra Buda |
| 2013 | Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. Sangmin Park, Mary Jean Harrold, Richard W. Vuduc |
| 2013 | Hybrid learning: interface generation through static, dynamic, and symbolic analysis. Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |
| 2013 | International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013 Mauro Pezzè, Mark Harman |
| 2013 | Optimizing monitoring of finite state properties through monitor compaction. Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2013 | Orthogonal exploration of the search space in evolutionary test case generation. Fitsum Meshesha Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, Paolo Tonella |
| 2013 | Parallel bounded analysis in code with rich invariants by refinement of field bounds. Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias |
| 2013 | Practical blended taint analysis for JavaScript. Shiyi Wei, Barbara G. Ryder |
| 2013 | Practical static race detection for Java parallel loops. Cosmin Radoi, Danny Dig |
| 2013 | Product-line verification with feature-oriented contracts. Thomas Thüm |
| 2013 | Selective mutation testing for concurrent code. Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam |
| 2013 | Semi-valid input coverage for fuzz testing. Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2013 | SimRacer: an automated framework to support testing for process-level races. Tingting Yu, Witawas Srisa-an, Gregg Rothermel |
| 2013 | Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. Friedrich Steimann, Marcus Frenkel, Rui Abreu |
| 2013 | Using automated program repair for evaluating the effectiveness of fault localization techniques. Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang |
| 2013 | Variable and thread bounding for systematic testing of multithreaded programs. Sandeep Bindal, Sorav Bansal, Akash Lal |