Symbolic Execution for BIOS Security.

Oleksandr Bazhaniuk John Loucaides Lee Rosenbaum Mark R. Tuttle Vincent Zimmer

Published in: WOOT (2015)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
operating system
data flow
source code
data sets
test cases
evolutionary algorithm
simulated annealing algorithm