S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing.

Bin Zhang Jiaxi Ye Chao Feng Chaojing Tang

Published in: CIS (2017)

Keyphrases

test cases
information security
symbolic representation
high level
machine learning
learning algorithm
social networks
case study
computer systems
countermeasures
symbolic data