Login / Signup
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection.
Shengjian Guo
Yueqi Chen
Peng Li
Yueqiang Cheng
Huibo Wang
Meng Wu
Zhiqiang Zuo
Published in:
CoRR (2019)
Keyphrases
</>
symbolic execution
leak detection
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
query processing
data sets
general purpose
simulated annealing algorithm
neural network
error rate
open source
decision trees
genetic algorithm