| 2024 | AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference. | Hyungseok Kim, Soomin Kim, Jungwoo Lee, Sang Kil Cha |
| 2024 | Your "Notice" Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking. | Kaifeng Huang, Yingfeng Xia, Bihuan Chen, Siyang He, Huazheng Zeng, Zhuotong Zhou, Jin Guo, Xin Peng |
| 2024 | An Empirical Study of Static Analysis Tools for Secure Code Review. | Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude |
| 2024 | ESBMC-Python: A Bounded Model Checker for Python Programs. | Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro |
| 2024 | Decomposition of Deep Neural Networks into Modules via Mutation Analysis. | Ali Ghanbari |
| 2023 | DeepAtash: Focused Test Generation for Deep Learning Systems. | Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella |
| 2023 | DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. | Yuhao Zhou, Wei Song |
| 2023 | DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. | Yuhao Zhou, Wei Song |
| 2023 | ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. | Mingyi Zhou, Xiang Gao, Jing Wu, John C. Grundy, Xiao Chen, Chunyang Chen, Li Li |
| 2023 | NodeRT: Detecting Races in Node.js Applications Practically. | Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang |
| 2023 | Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). | Yingquan Zhao, Junjie Chen, Ruifeng Fu, Haojie Ye, Zan Wang |
| 2023 | Testing Automated Driving Systems by Breaking Many Laws Efficiently. | Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang |
| 2023 | Detecting Condition-Related Bugs with Control Flow Graph Neural Network. | Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, Yang Liu |
| 2023 | Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning. | Zhaoxu Zhang, Robert Winn, Yu Zhao, Tingting Yu, William G. J. Halfond |
| 2023 | Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. | Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo |
| 2023 | Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. | Yiming Zhang, Yuxin Hu, Haonan Li, Wenxuan Shi, Zhenyu Ning, Xiapu Luo, Fengwei Zhang |
| 2023 | CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. | Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun |
| 2023 | Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. | Xudong Zhang, Yan Cai |
| 2023 | Pattern-Based Peephole Optimizations with Java JIT Tests. | Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric |
| 2023 | ROME: Testing Image Captioning Systems via Recursive Object Melting. | Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He, Pinjia He |
| 2023 | Reasoning about MLIR Semantics through Effects and Handlers. | Pingshi Yu |
| 2023 | Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. | Shiwen Yu, Ting Wang, Ji Wang |
| 2023 | Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. | Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li |
| 2023 | 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. | Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo, Yong Xie, Jianjun Chen, Chao Zhang |
| 2023 | Definition and Detection of Defects in NFT Smart Contracts. | Shuo Yang, Jiachi Chen, Zibin Zheng |