| 2019 | Mining Android crash fixes in the absence of issue- and change-tracking systems. | Pingfan Kong, Li Li, Jun Gao, Tegawend F. Bissyand, Jacques Klein |
| 2019 | Exploiting the laws of order in smart contracts. | Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena |
| 2019 | Differentially testing soundness and precision of program analyzers. | Christian Klinger, Maria Christakis, Valentin Wstholz |
| 2019 | Theory and practice of string solvers (invited talk abstract). | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
| 2019 | Effective and efficient API misuse detection via exception propagation and search-based testing. | Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen |
| 2019 | Conditional dynamic partial order reduction and optimality results. | Miguel Isabel |
| 2019 | Sara: self-replay augmented record and replay for Android in industrial cases. | Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu |
| 2019 | A new dimension of test quality: assessing and generating higher quality unit test cases. | Giovanni Grano |
| 2019 | Failure clustering without coverage. | Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger |
| 2019 | Practical program repair via bytecode mutation. | Ali Ghanbari, Samuel Benton, Lingming Zhang |
| 2019 | Crash-avoiding program repair. | Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury |
| 2019 | Automatically testing self-driving cars with search-based procedural content generation. | Alessio Gambi, Marc Mller, Gordon Fraser |
| 2019 | Towards scalable defense of information flow security for distributed systems. | Xiaoqin Fu |
| 2019 | Automated API-usage update for Android apps. | Mattia Fazzini, Qi Xin, Alessandro Orso |
| 2019 | Learning user interface element interactions. | Christian Degott, Nataniel P. Borges Jr., Andreas Zeller |
| 2019 | Search-based test and improvement of machine-learning-based anomaly detection systems. | Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon |
| 2019 | Detecting memory errors at runtime with source-level instrumentation. | Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue |
| 2019 | VFQL: combinational static analysis as query language. | Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun |
| 2019 | A large-scale study of application incompatibilities in Android. | Haipeng Cai, Ziyi Zhang, Li Li, Xiaoqin Fu |
| 2019 | Some challenges for software testing research (invited talk paper). | Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin |
| 2019 | SAFEVM: a safety verifier for Ethereum smart contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2019 | Optimal context-sensitive dynamic partial order reduction with observers. | Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2018 | Buffer overflow detection for C programs is hard to learn. | Yang Zhao, Xingzhong Du, Paddy Krishnan, Cristina Cifuentes |
| 2018 | An empirical study on TensorFlow program bugs. | Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang |
| 2018 | LAND: a user-friendly and customizable test generation tool for Android apps. | Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang |