Testing Network Protocol Binary Software with Selective Symbolic Execution.

Shameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang

Browse the full CIS paper archive.