Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing.

Jiaxi Ye, Bin Zhang, Ziqing Ye, Chao Feng, Chaojing Tang

Browse the full CIS paper archive.