| 2023 | Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. | Xinyi Wan, Qinxiang Cao |
| 2023 | HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun |
| 2023 | Software Vulnerability Detection Using an Enhanced Generalization Strategy. | Hao Sun, Zhe Bu, Yang Xiao, Chengsheng Zhou, Zhiyu Hao, Hongsong Zhu |
| 2023 | Modeling Regex Operators for Solving Regex Crossword Puzzles. | Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen |
| 2023 | Leveraging TLA | Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma |
| 2023 | Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. | Xinpeng Ni, Yulun Wu, Bican Xia |
| 2023 | Multi-dimensional Abstraction and Decomposition for Separation of Concerns. | Zhiming Liu, Jiadong Teng, Bo Liu |
| 2023 | Understanding the Reproducibility Issues of Monkey for GUI Testing. | Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun |
| 2023 | Session Types with Multiple Senders Single Receiver. | Zekun Ji, Shuling Wang, Xiong Xu |
| 2023 | String Constraints with Regex-Counting and String-Length Solved More Efficiently. | Denghang Hu, Zhilin Wu |
| 2023 | SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries. | Jintao Huang, Gaosheng Wang, Zhiqiang Shi, Fei Lv, Weidong Zhang, Shichao Lv |
| 2023 | Formal Verification Based Synthesis for Behavior Trees. | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang |
| 2023 | Graph-Based Log Anomaly Detection via Adversarial Training. | Zhangyue He, Yanni Tang, Kaiqi Zhao, Jiamou Liu, Wu Chen |
| 2023 | Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy. | Shaocong Han, Yi Zhang |
| 2023 | Reachability Based Uniform Controllability to Target Set with Evolution Function. | Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She |
| 2022 | Mastery: Shifted-Code-Aware Structured Merging. | Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He |
| 2022 | EqFix: Fixing LaTeX Equation Errors by Examples. | Fengmin Zhu, Fei He |
| 2022 | Decidability of Liveness for Concurrent Objects on the TSO Memory Model. | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu |
| 2022 | Diversifying a Parallel SAT Solver with Bayesian Moment Matching. | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
| 2022 | LOGIC: A Coq Library for Logics. | Yichen Tao, Qinxiang Cao |
| 2022 | A Contract-Based Semantics and Refinement for Simulink. | Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu |
| 2022 | HashC: Making DNNs' Coverage Testing Finer and Faster. | Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun |
| 2022 | Integration of Multiple Formal Matrix Models in Coq. | ZhengPu Shi, Gang Chen |
| 2022 | MTUL: Towards Mutation Testing of Unsupervised Learning Systems. | Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun |
| 2022 | Translating CPS with Shared-Variable Concurrency in SpaceEx. | Ran Li, Huibiao Zhu, Richard Banach |