| 2023 | Silent Compiler Bug De-duplication via Three-Dimensional Analysis. | Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun |
| 2023 | LiResolver: License Incompatibility Resolution for Open Source Software. | Sihan Xu, Ya Gao, Lingling Fan, Linyu Li, Xiangrui Cai, Zheli Liu |
| 2023 | A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. | Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang |
| 2023 | Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. | Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang |
| 2023 | An Empirical Study of Functional Bugs in Android Apps. | Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su |
| 2023 | Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. | Zifan Xie, Ming Wen, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang, Deqing Zou, Hai Jin |
| 2023 | Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. | Yisong Xiao, Aishan Liu, Tianlin Li, Xianglong Liu |
| 2023 | CydiOS: A Model-Based Testing Framework for iOS Apps. | Shuohan Wu, Jianfeng Li, Hao Zhou, Yongsheng Fang, Kaifa Zhao, Haoyu Wang, Chenxiong Qian, Xiapu Luo |
| 2023 | How Effective Are Neural Networks for Fixing Security Vulnerabilities. | Yi Wu, Nan Jiang, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan, Petr Babkin, Sameena Shah |
| 2023 | Data Constraint Mining for Automatic Reconciliation Scripts Generation. | Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin, Shuiguang Deng |
| 2023 | KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. | Qinglong Wang, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu, Tao Ma, Houbing Song, Heyuan Shi |
| 2023 | GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. | Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao |
| 2023 | Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. | Jun Wang, Yanhui Li, Xiang Huang, Lin Chen, Xiaofang Zhang, Yuming Zhou |
| 2023 | Validating Multimedia Content Moderation Software via Semantic Fusion. | Wenxuan Wang, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang, Weibin Wu, Pinjia He, Michael R. Lyu |
| 2023 | Guiding Greybox Fuzzing with Mutation Testing. | Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye |
| 2023 | Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). | Pablo Valle, Aitor Arrieta, Maite Arratibel |
| 2023 | SymRustC: A Hybrid Fuzzer for Rust. | Frdric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
| 2023 | Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. | Tian Tan, Yue Li |
| 2023 | Splendor: Static Detection of Stored XSS in Modern Web Applications. | He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, Wei Huo |
| 2023 | Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. | Sohil Lal Shrestha |
| 2023 | ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. | Chaofan Shou, Shangyin Tan, Koushik Sen |
| 2023 | ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. | Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, Wei Huo |
| 2023 | Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. | Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun |
| 2023 | RustSmith: Random Differential Compiler Testing for Rust. | Mayank Sharma, Pingshi Yu, Alastair F. Donaldson |
| 2023 | Semantic-Based Neural Network Repair. | Richard Schumi, Jun Sun |