| 2024 | Strong Forgetting in Hennessy-Milner Logic. | Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu |
| 2024 | A Natural Formalized Proof Language. | Lihan Xie, Zhicheng Hui, Qinxiang Cao |
| 2024 | Managing Traceability for Software Life Cycle Processes. | Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong |
| 2024 | Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. | Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun Yan |
| 2024 | Improved Incremental Verification for Neural Networks. | Xuezhou Tang |
| 2024 | CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. | Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian |
| 2024 | Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. | Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano |
| 2024 | DeepCDCL: A CDCL-based Neural Network Verification Framework. | Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang |
| 2024 | Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. | Hongming Liu, Guoqiang Li |
| 2024 | ISS-Scenario: Scenario-Based Testing in CARLA. | Renjue Li, Tianhang Qin, Cas Widdershoven |
| 2024 | Verified Validation for Affine Scheduling in Polyhedral Compilation. | Xuyang Li, Hongjin Liang, Xinyu Feng |
| 2024 | A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. | Yongjian Li, Hongjian Jiang, Yongxin Zhao |
| 2024 | Gradual Typing Performance, Micro Configurations and Macro Perspectives. | Mohammad Wahiduzzaman Khan, Sheng Chen |
| 2024 | Fuzzing for Stateful Protocol Implementations: Are We There Yet? | Kunpeng Jian, Yanyan Zou, Yeting Li, Jialun Cao, Menghao Li, Jian Sun, Jingyi Shi, Wei Huo |
| 2024 | An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. | Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu |
| 2024 | CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. | Jiacheng Jiang, Cheng Wen, Shengchao Qin |
| 2024 | Tree-Based Synthesis of Web Test Sequences from Manual Actions. | Pengkun Jiang, Sinan Wang, Yepang Liu |
| 2024 | Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. | Ari Hernawan, Nobuko Yoshida |
| 2024 | Detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices. | Haoyu Guo, Xiaodong Zhang, Zhiwei Zhang, Yulong Shen |
| 2024 | Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration. | Siyi Gu, Xiaoqiang Liu, Hui Guo, Bochun Cao, Baiyan Li, Lizhi Cai, Hu Yun |
| 2024 | On the Decidability of Disassembling Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2024 | An Abstract Interpretation-Based Data Leakage Static Analysis. | Filip Drobnjakovic, Pavle Subotic, Caterina Urban |
| 2024 | Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. | Yibo Dai, Peng Wu, Shecheng Cui, Linhai Ma |
| 2024 | Safe and Infinite Resource Scheduling Using Energy Timed Automata. | Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen |
| 2024 | An Approach to Improving Reliability of Parallel Graph Computation. | Jin Cui, Zhenhua Duan |