Fengjuan Gao

According to our database, Fengjuan Gao authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Discrete Adversarial Attack to Models of Code.

Fengjuan Gao, Yu Wang, Ke Wang

Proc. ACM Program. Lang., 2023

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li

CoRR, 2023

2022

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li

IEEE Trans. Software Eng., 2022

2021

Deep Learning-Based Hybrid Fuzz Testing.

Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang

Int. J. Softw. Informatics, 2021

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

Int. J. Softw. Informatics, 2021

Demystifying Code Summarization Models.

Yu Wang, Fengjuan Gao, Linzhang Wang

CoRR, 2021

2020

Learning semantic program embeddings with graph interval neural network.

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang

Proc. ACM Program. Lang., 2020

Automatic Buffer Overflow Warning Validation.

Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li

J. Comput. Sci. Technol., 2020

2019

Learning a Static Bug Finder from Data.

Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang

CoRR, 2019

2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

2016

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.

Fengjuan Gao, Linzhang Wang, Xuandong Li

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

ACSPChecker: an ASP based CSP model checking tool.

Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Carraybound: static array bounds checking in C programs based on taint analysis.

Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016