SymbA: Symbolic Execution at C-level for Hardware Trojan Activation.

Arash Vafaei Nick Hooten Mark M. Tehranipoor Farimah Farahmandi

Published in: ITC (2021)

Keyphrases

symbolic execution
genetic algorithm
static analysis
test generation
test data generation
real world
decision trees
query processing
data flow
description language