On Preventing Symbolic Execution Attacks by Low Cost Obfuscation.

Toshiki Seto Akito Monden Zeynep Yücel Yuichiro Kanzaki

Published in: SNPD (2019)

Keyphrases

symbolic execution
static analysis
low cost
source code
test generation
test data generation
specification language
regular expressions
neural network
optimization algorithm
quality control
data flow