Login / Signup
Qingkun Meng
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 5
Top Topics
Software Testing
Symbolic Execution
Static Analysis
Test Data Generation
Top Venues
IEICE Trans. Inf. Syst.
CISP-BMEI
ICSAI
CIS
</>
Publications
</>
Xiayang Chen
,
Chaojing Tang
,
Jian Wang
,
Lei Zhang
,
Qingkun Meng
Improved Wolf Pack Algorithm Based on Differential Evolution Elite Set.
IEICE Trans. Inf. Syst.
(7) (2018)
Yi Liu
,
Qingkun Meng
,
Xingtong Liu
,
Jian Wang
,
Lei Zhang
,
Chaojing Tang
Formal Method for Security Analysis of Electronic Payment Protocols.
IEICE Trans. Inf. Syst.
(9) (2018)
Shameng Wen
,
Chao Feng
,
Qingkun Meng
,
Bin Zhang
,
Ligeng Wu
,
Chaojing Tang
Analyzing network protocol binary software with joint symbolic execution.
ICSAI
(2016)
Shameng Wen
,
Chao Feng
,
Qingkun Meng
,
Bin Zhang
,
Ligeng Wu
,
Chaojing Tang
Testing Network Protocol Binary Software with Selective Symbolic Execution.
CIS
(2016)
Qingkun Meng
,
Shameng Wen
,
Chao Feng
,
Chaojing Tang
Predicting buffer overflow using semi-supervised learning.
CISP-BMEI
(2016)