Testing Network Protocol Binary Software with Selective Symbolic Execution - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Shameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang. Testing Network Protocol Binary Software with Selective Symbolic Execution. In 12th International Conference on Computational Intelligence and Security, CIS 2016, Wuxi, China, December 16-19, 2016. pages 318-322, IEEE, 2016. [doi]

The following publications are possibly variants of this publication:

Lazy symbolic execution for test data generationMengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. iee, 5(2):132-141, 2011. [doi]

Analyzing network protocol binary software with joint symbolic executionShameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang. icsai 2016: 738-742 [doi]

runs on WebDSL