Bin Zhang, Jiaxi Ye, Chao Feng, Chaojing Tang. S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing. In 13th International Conference on Computational Intelligence and Security, CIS 2017, Hong Kong, China, December 15-18, 2017. pages 548-552, IEEE, 2017. [doi]
Abstract is missing.