| 2015 | An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard |
| 2015 | Automated software transplantation. Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke |
| 2015 | Automated unit test generation during software development: a controlled experiment and think-aloud observations. José Miguel Rojas, Gordon Fraser, Andrea Arcuri |
| 2015 | Automatic fault injection for driver robustness testing. Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
| 2015 | Automatic generation of system test cases from use case specifications. Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal |
| 2015 | Automating performance bottleneck detection using search-based application profiling. Du Shen, Qi Luo, Denys Poshyvanyk, Mark Grechanik |
| 2015 | BrowserAudit: automated testing of browser security features. Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic |
| 2015 | Calculation coverage testing in scientific applications. Yoshiki Sato, Shumpei Hozumi, Shigeru Chiba |
| 2015 | CanaryAdvisor: a statistical-based tool for canary testing (demo). Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V. T. Rajan, Matthew Arnold, Ioana Baldini |
| 2015 | Collaborative testing across shared software components (doctoral symposium). Teng Long |
| 2015 | ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. Sepideh Khoshnood, Markus Kusano, Chao Wang |
| 2015 | Cost-aware combinatorial interaction testing (doctoral symposium). Gülsen Demiröz |
| 2015 | DLint: dynamically checking bad coding practices in JavaScript. Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
| 2015 | Detection and classification of malicious JavaScript via attack behavior modelling. Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan |
| 2015 | Dynamic detection of inter-application communication vulnerabilities in Android. Roee Hay, Omer Tripp, Marco Pistoia |
| 2015 | Dynamic taint tracking for Java with phosphor (demo). Jonathan Bell, Gail E. Kaiser |
| 2015 | Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke |
| 2015 | Enhancing reuse of constraint solutions to improve symbolic execution. Xiangyang Jia, Carlo Ghezzi, Shi Ying |
| 2015 | Evaluating the usefulness of IR-based fault localization techniques. Qianqian Wang, Chris Parnin, Alessandro Orso |
| 2015 | Experience report: an empirical study of PHP security mechanism usage. Johannes Dahse, Thorsten Holz |
| 2015 | Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE. Xiaoyin Wang, Lingming Zhang, Philip Tanofsky |
| 2015 | Feedback-controlled random test generation. Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
| 2015 | Making your crashes work for you (doctoral symposium). Peter Ohmann |
| 2015 | Mining change history for test-plan generation (doctoral symposium). Thomas Rolfsnes |
| 2015 | Modelgen: mining explicit information flow specifications from concrete executions. Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2015 | Optimizing selection of competing features via feedback-directed evolutionary algorithms. Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | Pegasus: automatic barrier inference for stable multithreaded systems. Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2015 | Practical regression test selection with dynamic file dependencies. Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2015 | Preventing data errors with continuous testing. Kivanç Muslu, Yuriy Brun, Alexandra Meliou |
| 2015 | Proactive detection of inadequate diagnostic messages for software configuration errors. Sai Zhang, Michael D. Ernst |
| 2015 | Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015 Michal Young, Tao Xie |
| 2015 | RTCM: a natural language based, automated, and practical test case generation framework. Tao Yue, Shaukat Ali, Man Zhang |
| 2015 | Randomized stress-testing of link-time optimizers. Vu Le, Chengnian Sun, Zhendong Su |
| 2015 | Reliability assessment for distributed systems via communication abstraction and refinement. Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | Reliable testing: detecting state-polluting tests to prevent test dependency. Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
| 2015 | Reusing constraint proofs in program analysis. Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè |
| 2015 | S-looper: automatic summarization for multipath string loops. Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen |
| 2015 | SAMC: a fast model checker for finding heisenbugs in distributed systems (demo). Tanakorn Leesatapornwongsa, Haryadi S. Gunawi |
| 2015 | Scalable and precise taint analysis for Android. Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby |
| 2015 | Scalable program analysis through proof caching (doctoral symposium). Andrea Aquino |
| 2015 | Systematic execution of Android test suites in adverse conditions. Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller |
| 2015 | TSTL: a language and tool for testing (demo). Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal |
| 2015 | Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. Marko Dimjasevic, Dimitra Giannakopoulou |
| 2015 | When truth is efficient: analysing concurrency. Ganesh Narayanaswamy |
| 2015 | WuKong: a scalable and accurate two-phase approach to Android app clone detection. Haoyu Wang, Yao Guo, Ziang Ma, Xiangqun Chen |