Qingkun Meng

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 6

Top Topics

Test Data Generation

Software Testing

Simulated Annealing Algorithm

Symbolic Execution

Top Venues

IEICE Trans. Inf. Syst.

Publications

Hang Yu, Qingkun Meng, Shuming Li, Zongwei Zhang
Research on Thermophysical Property Prediction of High-Temperature Insulating Materials Based on Neural Network. CACML (2024)
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)