A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference
The traditional software development does not consider the concerns, which is can addressing security problem effectively. So how to find the problem is the standard consideration for security researchers. In the field of software security testing, there are four ways, Fuzzing, Dynamic Taint Analysis, Model Checking and Symbolic Execution. This paper we use symbolic execution to achieve functional of fuzzing.doi:10.2991/jimet-15.2015.185 fatcat:afizvynqufbt5jnqbnfuxwu6hy