| 2021 | HomDroid: detecting Android covert malware by social-network homophily analysis. | Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, Hai Jin |
| 2021 | C4: the C compiler concurrency checker. | Matt Windsor, Alastair F. Donaldson, John Wickerson |
| 2021 | MoScan: a model-based vulnerability scanner for web single sign-on services. | Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov |
| 2021 | An infrastructure approach to improving effectiveness of Android UI testing tools. | Wenyu Wang, Wing Lam, Tao Xie |
| 2021 | On the use of evolutionary algorithms for test case prioritization in regression testing considering requirements dependencies. | Andreea Vescan, Camelia Chisalita-Cretu, Camelia Serban, Laura Diosan |
| 2021 | Automated cell header generator for Jupyter notebooks. | Ashwin Prasad Shivarpatna Venkatesh, Eric Bodden |
| 2021 | Impact of programming languages on machine learning bugs. | Sebastian Sztwiertnia, Maximilian Grbel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini |
| 2021 | Understanding and finding system setting-related defects in Android apps. | Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su |
| 2021 | Gramatron: effective grammar-aware fuzzing. | Prashast Srivastava, Mathias Payer |
| 2021 | The e-ACSL perspective on runtime assertion checking. | Julien Signoles |
| 2021 | Type and interval aware array constraint solving for symbolic execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang |
| 2021 | Automated patch backporting in Linux (experience paper). | Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury |
| 2021 | WebEvo: taming web application evolution via detecting semantic structure changes. | Fei Shao, Rui Xu, Wasif Arman Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, Xusheng Xiao |
| 2021 | Synchronous and asynchronous stream runtime verification. | Csar Snchez |
| 2021 | Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. | Filippo Ricca, Viviana Mascardi, Alessandro Verri |
| 2021 | Empirical evaluation of smart contract testing: what is the best choice? | Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai |
| 2021 | SCStudio: a secure and efficient integrated development environment for smart contracts. | Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang |
| 2021 | iDEV: exploring and exploiting semantic deviations in ARM instruction processing. | Shisong Qin, Chao Zhang, Kaixiang Chen, Zheming Li |
| 2021 | Automated debugging: past, present, and future (ISSTA impact paper award). | Chris Parnin, Alessandro Orso |
| 2021 | Continuous test suite failure prediction. | Cong Pan, Michael Pradel |
| 2021 | Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space. | Yicheng Pan, Meng Ma, Xinrui Jiang, Ping Wang |
| 2021 | Grammar-agnostic symbolic execution by token symbolization. | Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang |
| 2021 | QFuzz: quantitative fuzzing for side channels. | Yannic Noller, Saeid Tizpaz-Niari |
| 2021 | Modular call graph construction for security scanning of Node.js applications. | Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Mller |
| 2021 | ProFuzzBench: a benchmark for stateful protocol fuzzing. | Roberto Natella, Van-Thuan Pham |