Fengjuan Gao

Most-cited papers

Learning semantic program embeddings with graph interval neural network
Yu Wang, Ke Wang, Fengjuan Gao, Lin-Zhang Wang
2020Proc. ACM Program. Lang.71 citations Open access
Semantic Scholar
BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities
Fengjuan Gao, Lin-Zhang Wang, Xuan-Dong Li
2016International Conference on Automated Software Engineering42 citations
Semantic Scholar
Discrete Adversarial Attack to Models of Code
Fengjuan Gao, Yu Wang, Ke Wang
2023Proc. ACM Program. Lang.39 citations Open access
Semantic Scholar
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang, Fengjuan Gao, Lin-Zhang Wang, Tingting Yu +2 more
2020IEEE Transactions on Software Engineering14 citations Open access
Semantic Scholar
Automatic Buffer Overflow Warning Validation
Fengjuan Gao, Yu Wang, Lin-Zhang Wang, Z. Yang +1 more
2020Journal of Computational Science and Technology10 citations
Semantic Scholar
Learning a Static Bug Finder from Data
Yu Wang, Fengjuan Gao, Lin-Zhang Wang, Ke Wang
2019arXiv.org9 citations
Semantic Scholar
Carraybound: static array bounds checking in C programs based on taint analysis
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ +2 more
2016Asia-Pacific Symposium on Internetware9 citations
Semantic Scholar
Deep Learning-Based Hybrid Fuzz Testing
Fengjuan Gao, Yu Wang, Lingyun Situ, Lin-Zhang Wang
2021International Journal of Software and Informatics6 citations Open access
Semantic Scholar
Demystifying Code Summarization Models
Yu Wang, Fengjuan Gao, Lin-Zhang Wang
2021arXiv.org6 citations
Semantic Scholar
Adaptive Control Design for Arneodo Chaotic System with Uncertain Parameters and Input Saturation
Chun-Ming Cheng, Fengjuan Gao, Jing-Shuo Xu, Yuan-Xi Wang +1 more
20206 citations Open access
Semantic Scholar
DangDone: Eliminating Dangling Pointers via Intermediate Pointers
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang +4 more
2018Asia-Pacific Symposium on Internetware6 citations
Semantic Scholar
Solving Floating-Point Constraints with Continuous Optimization
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang +2 more
2025Proc. ACM Program. Lang.5 citations Open access
Semantic Scholar
Rapid Reduction Dimensionality Transfer Alignment Method Based on CKF for SINS of Ship-borne Aircraft with GNSS Assistance
Yong-Jun Wang, Jing-Shuo Xu, Fengjuan Gao
2022Journal of Physics, Conference Series3 citations Open access
Semantic Scholar
Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection
Fengjuan Gao, Mumu Zhang, Zi-Xiao Zhao, Yu Wang +1 more
2025Asia-Pacific Symposium on Internetware1 citations Open access
Semantic Scholar
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ +2 more
2021International Journal of Software and Informatics1 citations Open access
Semantic Scholar
CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks
Yu Wang, Fengjuan Gao, Amin Alipour, Lin-Zhang Wang +2 more
20181 citations
Semantic Scholar
An electrochemical sensing platform based on targeted paired binding for biomarker detection in human serum samples.
Yanting Gao, Xue-Qin Li, Hu-Sun Qian, Ziqiang Yu +3 more
2026Biosensors & bioelectronics0 citations
Semantic Scholar
Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis
Fengjuan Gao, Qingjie Zhu, Yi Zhang, Yu Wang +2 more
2026Proc. ACM Softw. Eng.0 citations Open access
Semantic Scholar
ACSPChecker: an ASP based CSP model checking tool
Lingyun Situ, Yu Wang, Fengjuan Gao, Lin-Zhang Wang +3 more
2016Asia-Pacific Symposium on Internetware0 citations
Semantic Scholar
目標誘導記号に基づく静的バッファオーバフロー警報自動確認技術【JST・京大機械翻訳】
Tie-Yun Bao, Fengjuan Gao, Yan Zhou, You Li +2 more
20160 citations
Semantic Scholar
Improved index coding algorithm using distance-based codebook sorting
Fengjuan Gao, Zhi-Bin Pan, Rui-Ping Qiao, Xiao-Man Deng
2011Journal of Image and Graphics0 citations
Semantic Scholar
High capacity information embedding scheme in VQ-compressed image index map
Xiao-Man Deng, Zhi-Bin Pan, Rui-Ping Qiao, Fengjuan Gao
2011Journal of Image and Graphics0 citations
Semantic Scholar