Testing Network Protocol Binary Software with Selective Symbolic Execution

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]

Authors

Shameng Wen

This author has not been identified. Look up 'Shameng Wen' in Google

Chao Feng

This author has not been identified. Look up 'Chao Feng' in Google

Qingkun Meng

This author has not been identified. Look up 'Qingkun Meng' in Google

Bin Zhang

This author has not been identified. Look up 'Bin Zhang' in Google

Ligeng Wu

This author has not been identified. Look up 'Ligeng Wu' in Google

Chaojing Tang

This author has not been identified. Look up 'Chaojing Tang' in Google