| 2023 | KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2023 | Quantitative Symbolic Similarity Analysis. | Laboni Sarker |
| 2023 | Rare Path Guided Fuzzing. | Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan |
| 2023 | EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. | Konstantinos Sagonas, Thanasis Typaldos |
| 2023 | Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications. | Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano, Xue Qin, Foyzul Hassan |
| 2023 | Type Automata. | Ori Roth |
| 2023 | An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. | Kunlun Ren, Weizhong Qiang, Yueming Wu, Yi Zhou, Deqing Zou, Hai Jin |
| 2023 | MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. | Frederico Ramos, Diogo Costa Reis, Miguel Trigo, Antnio Morgado, Jos Fragoso Santos |
| 2023 | SlipCover: Near Zero-Overhead Code Coverage for Python. | Juan Altmayer Pizzorno, Emery D. Berger |
| 2023 | RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. | Sven Peldszus, Noubar Akopian, Thorsten Berger |
| 2023 | Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. | Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang |
| 2023 | OCFI: Make Function Entry Identification Hard Again. | Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao |
| 2023 | Green Fuzzer Benchmarking. | Jiradet Ounjai, Valentin Wstholz, Maria Christakis |
| 2023 | Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). | Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, Haoyu Wang |
| 2023 | ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. | Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei |
| 2023 | Automatic Testing and Benchmarking for Configurable Static Analysis Tools. | Austin Mordahl |
| 2023 | EvoSpex: A Search-Based Tool for Postcondition Inference. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2023 | Toward Automated Detecting Unanticipated Price Feed in Smart Contract. | Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng |
| 2023 | Fuzzing Deep Learning Compilers with HirGen. | Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2023 | Dependency-Aware Metamorphic Testing of Datalog Engines. | Muhammad Numair Mansur, Valentin Wstholz, Maria Christakis |
| 2023 | What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications. | Linlin Li, Ruifeng Wang, Xian Zhan, Ying Wang, Cuiyun Gao, Sinan Wang, Yepang Liu |
| 2023 | Systematic Testing of the Data-Poisoning Robustness of KNN. | Yannan Li, Jingbo Wang, Chao Wang |
| 2023 | Exploring Missed Optimizations in WebAssembly Optimizers. | Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, Wei Meng |
| 2023 | RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. | Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji |
| 2023 | Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. | Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue |