Fengjuan Gao

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Alternating Time Temporal Logic

Automatic Inspection

Embedded Software

Top Venues

Proc. ACM Program. Lang.

Int. J. Softw. Informatics

Publications

Fengjuan Gao, Yu Wang, Ke Wang
Discrete Adversarial Attack to Models of Code. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. 48 (2) (2022)
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Softw. Informatics 11 (2) (2021)
Yu Wang, Fengjuan Gao, Linzhang Wang
Demystifying Code Summarization Models. CoRR (2021)
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
Deep Learning-Based Hybrid Fuzz Testing. Int. J. Softw. Informatics 11 (3) (2021)
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
Learning semantic program embeddings with graph interval neural network. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning Semantic Program Embeddings with Graph Interval Neural Network. CoRR (2020)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35 (6) (2020)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning a Static Bug Finder from Data. CoRR (2019)
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware (2018)
Fengjuan Gao, Linzhang Wang, Xuandong Li
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. ASE (2016)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware (2016)