Qiping Wei

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Symbolic Execution

Dependency Graph

Top Venues

Publications

Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, Richard Kuhn
SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. BRAINS (2023)
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. ICST (2023)
Qiping Wei, Fengxiang Zhang
Mining New Scientific Research Ideas from Quantum Computers and Quantum Communications. ICCSE (2019)