Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis.

Yangdi Lyu Prabhat Mishra

Published in: DATE (2020)

Keyphrases

test generation
test cases
design automation
automated analysis
symbolic execution
object detection
detection algorithm
quality assurance
case study
test sequences
static analysis
software testing
computer aided
error rate
detection method
multi agent systems
data exchange
data sets