Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation. - Wenzhang Yang; Linhai Song; Yinxing Xue (ICSE, 2024)

Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation. - Wenzhang Yang; Cuifeng Gao; Xiaoyuan Liu; Yuekang Li; Yinxing Xue (ASE, 2024)

Analysis of vessel traffic flow characteristics in inland restricted waterways using multi-source data. - Wenzhang Yang; Peng Liao; Shangkun Jiang; Hao Wang (CoRR, 2024)

Evaluation of waterway lock service quality in Yangtze Delta: from the perspectives of customer and supplier. - Wenzhang Yang; Peng Liao; Shangkun Jiang; Hao Wang (CoRR, 2024)

Enhanced microsimulation framework for right-turning vehicle-pedestrian interactions at signalized intersection. - Xu Chen; Siyu Li; Wenzhang Yang; Yujia Chen; Hao Wang 059 (Simul. Model. Pract. Theory, 2024)

sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. - Cuifeng Gao; Wenzhang Yang; Jiaming Ye; Yinxing Xue; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2024)

A dual-module cooperative control method for on-ramp area in heterogeneous traffic flow using reinforcement learning. - Wenzhang Yang; Changyin Dong; Ziqian Zhang; Xu Chen; Hao Wang 059 (Eng. Appl. Artif. Intell., 2025)

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling. - Yan Li; Wenzhang Yang; Yuekun Wang; Jian Gao; Shaohua Wang; Yinxing Xue; Lijun Zhang (CoRR, 2025)