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]
Abstract is missing.