Concepedia

Qingkai Shi

QS

36

Publications

1.8K

Citations

20

H-Index

2002

Active since

Affiliations

Hong Kong University of Science and Technology(Current)

Hunan University

PowerChina (China)

Xiamen University

Central South University

Qingkai Shi is an author at Hong Kong University of Science and Technology specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringFormal MethodsComputer EngineeringData Science

Publications per year

2002–2025

36

Publications

36

Chemical Analysis of Radix Astragali (Huangqi) in China: A Comparison with Its Adulterants and Seasonal Variations

Quan Xia, Qingkai Shi, Jin‐Ao Duan et al. · Journal of Agricultural and Food Chemistry · 2002 · 358 citations

DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks

Yang Feng, Qingkai Shi, Xinyu Gao et al. · 2020 · 205 citations

Artificial Intelligence, Convolutional Neural Network, Prioritizing Massive Tests +18

Functional code clone detection with syntax and semantics fusion learning

Chunrong Fang, Zixi Liu, Yangyang Shi et al. · 2020 · 122 citations

Engineering, Machine Learning, Clone Detection +21

Pinpoint: fast and precise sparse value flow analysis for million lines of code

Qingkai Shi, Xiao Xiao, Rongxin Wu et al. · 2018 · 111 citations

Engineering, Software Systems, Path Feasibility Queries +24

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

Heqing Huang, Yiyuan Guo, Qingkai Shi et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 104 citations

Engineering, Software Engineering, Software Analysis +20

Rows per page

1–5 of 36