Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing | IEEE Conference Publication | IEEE Xplore