SymSem: Symbolic Execution with Time Stamps for Deobfuscation.

Huayi Li Yuanyuan Zhang Jianqiang Wang Dawu Gu

Published in: Inscrypt (2019)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
formal specification
database
quality assurance
simulated annealing algorithm
decision trees
fitness function
description language
software testing