| 2020 | A programming model for semi-implicit parallelization of static analyses. Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini |
| 2020 | Abstracting failure-inducing inputs. Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, Andreas Zeller |
| 2020 | Active fuzzing for testing and securing cyber-physical systems. Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang |
| 2020 | An empirical study on ARM disassembly tools. Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren |
| 2020 | Automated classification of actions in bug reports of mobile apps. Hui Liu, Mingzhu Shen, Jiahao Jin, Yanjie Jiang |
| 2020 | Automated mobile apps testing from visual perspective. Feng Xue |
| 2020 | Automated repair of feature interaction failures in automated driving systems. Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
| 2020 | Automatic support for the identification of infeasible testing requirements. João Choma Neto |
| 2020 | CPSDebug: a tool for explanation of failures in cyber-physical systems. Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore |
| 2020 | Can automated program repair refine fault localization? a unified debugging approach. Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, Lu Zhang |
| 2020 | CoCoNuT: combining context-aware neural translation models using ensemble for program repair. Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, Lin Tan |
| 2020 | Crowdsourced requirements generation for automatic testing via knowledge graph. Chao Guo, Tieke He, Wei Yuan, Yue Guo, Rui Hao |
| 2020 | Data loss detector: automatically revealing data loss bugs in Android apps. Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani |
| 2020 | Debugging the performance of Maven's test isolation: experience report. Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric |
| 2020 | DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks. Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen |
| 2020 | DeepSQLi: deep semantic learning for testing SQL injection. Muyang Liu, Ke Li, Tao Chen |
| 2020 | Dependent-test-aware regression testing techniques. Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie |
| 2020 | Detecting and diagnosing energy issues for mobile applications. Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, Kaishun Wu |
| 2020 | Detecting and understanding real-world differential performance bugs in machine learning libraries. Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi |
| 2020 | Detecting cache-related bugs in Spark applications. Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong |
| 2020 | Detecting flaky tests in probabilistic and machine learning applications. Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic |
| 2020 | Differential regression testing for REST APIs. Patrice Godefroid, Daniel Lehmann, Marina Polishchuk |
| 2020 | Discovering discrepancies in numerical libraries. Jackson Vanover, Xuan Deng, Cindy Rubio-González |
| 2020 | EShield: protect smart contracts against reverse engineering. Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, Zhong Chen |
| 2020 | Echidna: effective, usable, and fast fuzzing for smart contracts. Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
| 2020 | Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh |
| 2020 | Empirically revisiting and enhancing IR-based test-case prioritization. Qianyang Peng, August Shi, Lingming Zhang |
| 2020 | Escaping dependency hell: finding build dependency errors with the unified dependency graph. Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang |
| 2020 | Fast bit-vector satisfiability. Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang |
| 2020 | Feasible and stressful trajectory generation for mobile robots. Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer |
| 2020 | Feedback-driven side-channel analysis for networked applications. Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan |
| 2020 | FineLock: automatically refactoring coarse-grained locks into fine-grained locks. Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma |
| 2020 | Functional code clone detection with syntax and semantics fusion learning. Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi |
| 2020 | Higher income, larger loan? monotonicity testing of machine learning models. Arnab Sharma, Heike Wehrheim |
| 2020 | How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. Asem Ghaleb, Karthik Pattabiraman |
| 2020 | How far we have come: testing decompilation correctness of C decompilers. Zhibo Liu, Shuai Wang |
| 2020 | ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020 Sarfraz Khurshid, Corina S. Pasareanu |
| 2020 | Identifying Java calls in native code via binary scanning. George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis |
| 2020 | Intermittently failing tests in the embedded systems domain. Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, Daniel Sundmark |
| 2020 | Learning input tokens for effective fuzzing. Björn Mathis, Rahul Gopinath, Andreas Zeller |
| 2020 | Learning to detect table clones in spreadsheets. Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, Bo Yang |
| 2020 | ObjSim: lightweight automatic patch prioritization via object similarity. Ali Ghanbari |
| 2020 | Patch based vulnerability matching for binary programs. Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu |
| 2020 | ProFL: a fault localization framework for Prolog. George Thompson, Allison K. Sullivan |
| 2020 | Program-aware fuzzing for MQTT applications. Luis Gustavo Araujo Rodriguez, Daniel Macêdo Batista |
| 2020 | Recovering fitness gradients for interprocedural Boolean flags in search-based testing. Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong |
| 2020 | Reinforcement learning based curiosity-driven testing of Android applications. Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li |
| 2020 | Relocatable addressing model for symbolic execution. David Trabish, Noam Rinetzky |
| 2020 | Running symbolic execution forever. Frank Busse, Martin Nowack, Cristian Cadar |
| 2020 | Scaffle: bug localization on millions of files. Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra |
| 2020 | Scalable analysis of interaction threats in IoT systems. Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
| 2020 | Scalable build service system with smart scheduling service. Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall |
| 2020 | TauJud: test augmentation of machine learning in judicial documents. Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, Peitian Zhangzhu |
| 2020 | Test recommendation system based on slicing coverage filtering. Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, Zhenyu Chen |
| 2020 | Testing high performance numerical simulation programs: experience, lessons learned, and open issues. Xiao He, Xingwei Wang, Jia Shi, Yi Liu |
| 2020 | WEIZZ: automatic grey-box fuzzing for structured binary formats. Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa |