2

Discrete Adversarial Attack to Models of Code
in Proceedings of the ACM on Programming Languages 7, no. PLDI (2023)
Fengjuan Gao, Yu Wang, Ke Wang
Cite
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
in Transactions on Software Engineering (TSE 22)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Cite DOI
Deep Learning-Based Hybrid Fuzz Testing
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
Cite DOI
High-precision Data Race Detection Method for Large Scale Programs
Fengjuan Gao, Yu Wang, Jinguo Zhou, Anzi Xu, Linzhang Wang, Rongxin Wu, Charles Zhang, Zhendong Su
Cite DOI
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Cite DOI
Automatic Buffer Overflow Warning Validation
in Journal of Computer Science and Technology (JCST)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Cite DOI
垂悬指针检测与防御方法
王豫, 高凤娟, 马可欣, 司徒凌云, 王林章, 陈碧欢, 刘杨, 赵建华, 李宣东
Cite DOI