Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT.

Corina S. Pasareanu Quoc-Sang Phan Pasquale Malacaria

Published in: CSF (2016)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
source code
test cases
specification language
case study
error rate
data flow