Precise Cache Timing Analysis via Symbolic Execution.

Duc-Hiep Chu Joxan Jaffar Rasool Maghareh

Published in: RTAS (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
query processing
data flow
test cases
database
prefetching
databases
metadata
software development