| 2015 | Experience with constructing code hunt contests. | R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann |
| 2015 | Dynamic detection of inter-application communication vulnerabilities in Android. | Roee Hay, Omer Tripp, Marco Pistoia |
| 2015 | Reliable testing: detecting state-polluting tests to prevent test dependency. | Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
| 2015 | Reliability assessment for distributed systems via communication abstraction and refinement. | Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | TSTL: a language and tool for testing (demo). | Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal |
| 2015 | DLint: dynamically checking bad coding practices in JavaScript. | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
| 2015 | Practical regression test selection with dynamic file dependencies. | Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2015 | TeamWATCH demonstration: a web-based 3d software source code visualization for education. | Minyuan Gao, Chang Liu |
| 2015 | Code hunt as platform for gamification of cybersecurity training. | Sandro Fouch, Andrew H. Mangle |
| 2015 | Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. | Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke |
| 2015 | Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. | Marko Dimjasevic, Dimitra Giannakopoulou |
| 2015 | Pegasus: automatic barrier inference for stable multithreaded systems. | Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2015 | Cost-aware combinatorial interaction testing (doctoral symposium). | Glsen Demirz |
| 2015 | Experience report: an empirical study of PHP security mechanism usage. | Johannes Dahse, Thorsten Holz |
| 2015 | Automatic fault injection for driver robustness testing. | Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
| 2015 | Pythia reloaded: an intelligent unit testing-based code grader for education. | Sbastien Combfis, Alexis Paques |
| 2015 | Modelgen: mining explicit information flow specifications from concrete executions. | Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2015 | Dynamic taint tracking for Java with phosphor (demo). | Jonathan Bell, Gail E. Kaiser |
| 2015 | Automated software transplantation. | Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke |
| 2015 | Reusing constraint proofs in program analysis. | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezz |
| 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 Mller |
| 2014 | Efficient predicated bug signature mining via hierarchical instrumentation. | Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun |
| 2014 | Efficient statistical debugging via hierarchical instrumentation. | Zhiqiang Zuo |
| 2014 | Virtual DOM coverage for effective testing of dynamic web applications. | Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao |