Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution.

Hui Xu Yangfan Zhou Yu Kang Fengzhi Tu Michael R. Lyu

Published in: DSN (2018)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
business intelligence
source code
specification language
manufacturing systems
quality control
data flow
test cases
simulated annealing algorithm
multi objective
petri net
life cycle
regular expressions