Concepedia

Weiqiang Kong

WK

11

Publications

222

Citations

11

H-Index

2005

Active since

Affiliations

Dalian University of Technology(Current)

Kyushu University

Kitakyushu Foundation for the Advancement of Industry, Science and Technology

Japan Advanced Institute of Science and Technology

University of Miyazaki

Weiqiang Kong is an author at Dalian University of Technology specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisVerificationFormal MethodsSystems EngineeringSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Design

Publications per year

2005–2021

11

Publications

11

Compiler testing: a systematic literature analysis

Yixuan Tang, Zhilei Ren, Weiqiang Kong et al. · Frontiers of Computer Science · 2019 · 48 citations

Software Maintenance, Engineering, Program Analysis +10

Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation

Yixuan Tang, He Jiang, Zhide Zhou et al. · IEEE Transactions on Software Engineering · 2021 · 28 citations

Multilevel Permission Extraction in Android Applications for Malware Detection

Zhen Wang, Kai Li, Yan Hu et al. · 2019 · 27 citations

Mobile Security, Engineering, Machine Learning +13

A lightweight integration of theorem proving and model checking for system verification

Weiqiang Kong, Kazuhiro Ogata, Tatsuyuki Seino et al. · 2005 · 19 citations

Engineering, Verification, Computer-aided Verification +19

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Weiqiang Kong, Leyuan Liu, Takahiro Ando et al. · The Computer Journal · 2014 · 18 citations

Multicore Bounded Model, Engineering, State Space Search +14

Rows per page

1–5 of 11