Login / Signup
Long Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 12
Top Topics
Source Code
Sat Instances
Method Finds
Software Artifacts
Top Venues
Wirel. Commun. Mob. Comput.
SCAM
KSEM
Mob. Inf. Syst.
</>
Publications
</>
Gaigai Tang
,
Lin Yang
,
Long Zhang
,
Hongyu Kuang
,
Huiqiang Wang
MRC-VulLoc: Software source code vulnerability localization based on multi-choice reading comprehension.
Comput. Secur.
141 (2024)
Hongyu Kuang
,
Jingjing Zhang
,
Feng Yang
,
Long Zhang
,
Zhijian Huang
,
Lin Yang
VulCausal: Robust Vulnerability Detection Using Neural Network Models from a Causal Perspective.
KSEM (3)
(2024)
Hongyu Kuang
,
Feng Yang
,
Long Zhang
,
Gaigai Tang
,
Lin Yang
Leveraging User-Defined Identifiers for Counterfactual Data Generation in Source Code Vulnerability Detection.
SCAM
(2023)
Gaigai Tang
,
Lin Yang
,
Long Zhang
,
Weipeng Cao
,
Lianxiao Meng
,
Hongbin He
,
Hongyu Kuang
,
Feng Yang
,
Huiqiang Wang
An attention-based automatic vulnerability detection approach with GGNN.
Int. J. Mach. Learn. Cybern.
14 (9) (2023)
Lianxiao Meng
,
Lin Yang
,
Wu Yang
,
Long Zhang
A Survey of GNSS Spoofing and Anti-Spoofing Technology.
Remote. Sens.
14 (19) (2022)
Zhining Xu
,
Long Zhang
,
Xiaoshan Ma
,
Yang Liu
,
Lin Yang
,
Feng Yang
An Anti-Disturbance Resilience Enhanced Algorithm for UAV 3D Route Planning.
Sensors
22 (6) (2022)
Lianxiao Meng
,
Lin Yang
,
Shuangyin Ren
,
Gaigai Tang
,
Long Zhang
,
Feng Yang
,
Wu Yang
An Approach of Linear Regression-Based UAV GPS Spoofing Detection.
Wirel. Commun. Mob. Comput.
2021 (2021)
Gaigai Tang
,
Long Zhang
,
Feng Yang
,
Lianxiao Meng
,
Weipeng Cao
,
Meikang Qiu
,
Shuangyin Ren
,
Lin Yang
,
Huiqiang Wang
Interpretation of Learning-Based Automatic Source Code Vulnerability Detection Model Using LIME.
KSEM
(2021)
Lujie Zhang
,
Chang Liu
,
Long Zhang
,
Yang Guo
一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver).
计算机科学
46 (4) (2019)
Long Zhang
,
WanXia Qu
,
Yinjia Huo
,
Yang Guo
,
Sikun Li
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wirel. Commun. Mob. Comput.
2018 (2018)
Chang Liu
,
Long Zhang
,
Xu He
,
Yang Guo
Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method.
IEEE Access
6 (2018)
Long Zhang
,
Wenyan Hu
,
WanXia Qu
,
Yang Guo
,
Sikun Li
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mob. Inf. Syst.
2017 (2017)
Yang Guo
,
WanXia Qu
,
Long Zhang
,
Weixia Xu
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
J. Supercomput.
62 (2) (2012)