Automated Symbolic Law Discovery: A Computer Vision Approach. - Hengrui Xing; Ansaf Salleb-Aouissi; Nakul Verma (AAAI, 2021)

PIChecker for SV-COMP 2023. - Jie Su 002; Zuchao Yang; Hengrui Xing; Jiyu Yang; Cong Tian; Zhenhua Duan (Zenodo, 2022)

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. - Bin Yu 008; Cong Tian; Hengrui Xing; Zuchao Yang; Jie Su 002; Xu Lu 003; Jiyu Yang; Liang Zhao 021; Xiaofeng Li; Zhenhua Duan (ESEC/SIGSOFT FSE, 2023)

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). - Jie Su 002; Zuchao Yang; Hengrui Xing; Jiyu Yang; Cong Tian; Zhenhua Duan (TACAS (2), 2023)

StructuralSleight: Automated Jailbreak Attacks on Large Language Models Utilizing Uncommon Text-Encoded Structure. - Bangxin Li; Hengrui Xing; Chao Huang; Jin Qian; Huangqing Xiao; Linfeng Feng; Cong Tian (CoRR, 2024)

AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models. - Hengrui Xing; Cong Tian; Liang Zhao 021; Zhi Ma; Wensheng Wang; Nan Zhang 001; Chao Huang; Zhenhua Duan (CoRR, 2025)