| 2018 | Detecting anomalies in Kotlin code. | Timofey Bryksin, Victor Petukhov, Kirill Smirenko, Nikita Povarov |
| 2018 | Symbolic path cost analysis for side-channel detection. | Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu |
| 2018 | The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). | Eric Bodden |
| 2018 | Translating code comments to procedure specifications. | Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezz, Sergio Delgado Castellanos |
| 2018 | Practical detection of concurrency issues at coding time. | Luc Blser |
| 2018 | Test migration for efficient large-scale assessment of mobile app coding assignments. | Farnaz Behrang, Alessandro Orso |
| 2018 | Towards automated translation between generations of GUI-based tests for mobile devices. | Luca Ardito, Riccardo Coppola, Marco Torchiano, Emil Algroth |
| 2018 | A formalism for specification of Java API interfaces. | Davide Ancona, Francesco Dagnino, Luca Franceschini |
| 2018 | Search-based detection of deviation failures in the migration of legacy spreadsheet applications. | Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds |
| 2018 | CiD: automating the detection of API-related compatibility issues in Android apps. | Li Li, Tegawend F. Bissyand, Haoyu Wang, Jacques Klein |
| 2017 | Boosting spectrum-based fault localization using PageRank. | Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid |
| 2017 | ParTeCL: parallel testing using OpenCL. | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | Compiler-assisted test acceleration on GPUs for embedded software. | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | Identifying test-suite-overfitted patches through test case generation. | Qi Xin, Steven P. Reiss |
| 2017 | Faster mutation analysis via equivalence modulo states. | Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao |
| 2017 | Automatic detection and validation of race conditions in interrupt-driven embedded software. | Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
| 2017 | ReDeCheck: an automatic layout failure checking tool for responsively designed web pages. | Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
| 2017 | Automated layout failure detection for responsive web pages without an explicit oracle. | Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
| 2017 | Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. | Wei Sun, Lisong Xu, Sebastian G. Elbaum |
| 2017 | Reinforcement learning for automatic test case prioritization and selection in continuous integration. | Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
| 2017 | ArtForm: a tool for exploring the codebase of form-based websites. | Ben Spencer, Michael Benedikt, Anders Mller, Franck van Breugel |
| 2017 | FLUCCS: using code and change metrics to improve fault localization. | Jeongju Sohn, Shin Yoo |
| 2017 | An actionable performance profiler for optimizing the order of evaluations. | Marija Selakovic, Thomas Glaser, Michael Pradel |
| 2017 | Version space learning for verification on temporal differentials. | Mark Santolucito |
| 2017 | Accelerating array constraints in symbolic execution. | David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar |