| 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 | Declarative mocking. | Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein |
| 2013 | Parallel bounded analysis in code with rich invariants by refinement of field bounds. | Nicols Rosner, Juan P. Galeotti, Santiago Bermdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemn, Marcelo F. Frias |
| 2013 | Practical static race detection for Java parallel loops. | Cosmin Radoi, Danny Dig |
| 2013 | Using automated program repair for evaluating the effectiveness of fault localization techniques. | Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang |
| 2013 | Optimizing monitoring of finite state properties through monitor compaction. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2013 | Evaluating applicability of combinatorial testing in an industrial environment: a case study. | Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernndez, Peter M. Kruse |
| 2013 | Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. | Sangmin Park, Mary Jean Harrold, Richard W. Vuduc |
| 2013 | Debugging non-deadlock concurrency bugs. | Sangmin Park |
| 2013 | Data model property inference and repair. | Jaideep Nijjar, Tevfik Bultan |
| 2013 | Safe substitution for service-based applications. | Shin Nakajima |
| 2013 | Model-based test case generation using symbolic execution. | Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara |
| 2013 | An auto-review tool for model-based testing of safety-critical systems. | Atit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda V. Jeppu, Nagaraj Murthy |
| 2013 | FITNESS: a framework for automatic testing of ASTERIX based software systems. | Vittorio Manetti, Luigi Martin Petrella |
| 2013 | Conformance testing for quality assurance of clustering architectures. | Afef Jmal Malej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel |
| 2013 | EnforceMOP: a runtime property enforcement system for multithreaded programs. | Qingzhou Luo, Grigore Rosu |
| 2013 | Calculating source line level energy information for Android applications. | Ding Li, Shuai Hao, William G. J. Halfond, Ramesh Govindan |
| 2013 | Dynamically validating static memory leak warnings. | Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu |
| 2013 | Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study. | Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro |
| 2013 | Runtime testing framework for improving quality in dynamic service-based systems. | Mariam Lahami, Moez Krichen, Mohamed Jmaiel |
| 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 | A system for automated testing in development of measuring devices for industrial process instrumentation. | Ren Keimling, Christian Hansen, Attila Bilgic |
| 2013 | F3: fault localization for field failures. | Wei Jin, Alessandro Orso |
| 2013 | Automated testing with targeted event sequence generation. | Casper Svenning Jensen, Mukul R. Prasad, Anders Mller |
| 2013 | Hybrid learning: interface generation through static, dynamic, and symbolic analysis. | Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |