| 2019 | A cost-effective strategy for software vulnerability prediction based on bellwether analysis. Patrick Kwaku Kudjo, Jinfu Chen |
| 2019 | A large-scale study of application incompatibilities in Android. Haipeng Cai, Ziyi Zhang, Li Li, Xiaoqin Fu |
| 2019 | A new dimension of test quality: assessing and generating higher quality unit test cases. Giovanni Grano |
| 2019 | Adlib: analyzer for mobile ad platform libraries. Sungho Lee, Sukyoung Ryu |
| 2019 | Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang |
| 2019 | Assessing the state and improving the art of parallel testing for C. Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri |
| 2019 | Automated API-usage update for Android apps. Mattia Fazzini, Qi Xin, Alessandro Orso |
| 2019 | Automatically testing self-driving cars with search-based procedural content generation. Alessio Gambi, Marc Müller, Gordon Fraser |
| 2019 | CTRAS: a tool for aggregating and summarizing crowdsourced test reports. Yuying Li, Rui Hao, Yang Feng, James A. Jones, Xiaofang Zhang, Zhenyu Chen |
| 2019 | CoCoTest: collaborative crowdsourced testing for Android applications. Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen |
| 2019 | Codebase-adaptive detection of security-relevant methods. Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden |
| 2019 | Conditional dynamic partial order reduction and optimality results. Miguel Isabel |
| 2019 | Continuous software performance assessment: detecting performance problems of software libraries on every build. Christoph Laaber |
| 2019 | Crash-avoiding program repair. Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury |
| 2019 | DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization. Xia Li, Wei Li, Yuqun Zhang, Lingming Zhang |
| 2019 | DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See |
| 2019 | Deferred concretization in symbolic execution via fuzzing. Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy |
| 2019 | Detecting memory errors at runtime with source-level instrumentation. Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue |
| 2019 | Differentially testing soundness and precision of program analyzers. Christian Klinger, Maria Christakis, Valentin Wüstholz |
| 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 | Exploiting the laws of order in smart contracts. Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena |
| 2019 | Failure clustering without coverage. Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger |
| 2019 | From typestate verification to interpretable deep models (invited talk abstract). Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2019 | Go-clone: graph-embedding based clone detector for Golang. Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun |
| 2019 | History-driven build failure fixing: how far are we? Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang |
| 2019 | Identifying error code misuses in complex system. Wensheng Tang |
| 2019 | Improving random GUI testing with image-based widget detection. Thomas D. White, Gordon Fraser, Guy J. Brown |
| 2019 | Interactive metamorphic testing of debuggers. Sandro Tolksdorf, Daniel Lehmann, Michael Pradel |
| 2019 | JNI program analysis with automatically extracted C semantic summary. Sungho Lee |
| 2019 | JQF: coverage-guided property-based testing in Java. Rohan Padhye, Caroline Lemieux, Koushik Sen |
| 2019 | Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini |
| 2019 | Learning user interface element interactions. Christian Degott, Nataniel P. Borges Jr., Andreas Zeller |
| 2019 | LibID: reliable identification of obfuscated third-party Android libraries. Jiexin Zhang, Alastair R. Beresford, Stephan A. Kollmann |
| 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 | Mining constraints for grammar fuzzing. Michaël Mera |
| 2019 | Mitigating the effects of flaky tests on mutation testing. August Shi, Jonathan Bell, Darko Marinov |
| 2019 | On the correctness of GPU programs. Chao Peng |
| 2019 | Optimal context-sensitive dynamic partial order reduction with observers. Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2019 | Practical program repair via bytecode mutation. Ali Ghanbari, Samuel Benton, Lingming Zhang |
| 2019 | Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. Dongmei Zhang, Anders Møller |
| 2019 | QADroid: regression event selection for Android applications. Aman Sharma, Rupesh Nasre |
| 2019 | Root causing flaky tests in a large-scale industrial setting. Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta |
| 2019 | SAFEVM: a safety verifier for Ethereum smart contracts. Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio |
| 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 | Search-based test and improvement of machine-learning-based anomaly detection systems. Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon |
| 2019 | Semantic fuzzing with zest. Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
| 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 | TBar: revisiting template-based automated program repair. Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé |
| 2019 | TestMig: migrating GUI test cases from iOS to Android. Xue Qin, Hao Zhong, Xiaoyin Wang |
| 2019 | Theory and practice of string solvers (invited talk abstract). Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
| 2019 | Towards scalable defense of information flow security for distributed systems. Xiaoqin Fu |
| 2019 | Ukwikora: continuous inspection for keyword-driven testing. Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
| 2019 | VBSAC: a value-based static analyzer for C. Chi Li, Min Zhou, Zuxing Gu, Guang Chen, YueXing Wang, Jiecheng Wu, Ming Gu |
| 2019 | VFQL: combinational static analysis as query language. Guang Chen, YueXing Wang, Min Zhou, Jiaguang Sun |