Wenzhang Yang

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Inductive Logic Programming

Cellular Automata

Top Venues

ACM Trans. Softw. Eng. Methodol.

Simul. Model. Pract. Theory

Publications

Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Xu Chen, Siyu Li, Wenzhang Yang, Yujia Chen, Hao Wang
Enhanced microsimulation framework for right-turning vehicle-pedestrian interactions at signalized intersection. Simul. Model. Pract. Theory 134 (2024)
Wenzhang Yang, Linhai Song, Yinxing Xue
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation. ICSE (2024)