Scalable Test Generation for Trojan Detection Using Side Channel Analysis.

Yuanwen Huang Swarup Bhunia Prabhat Mishra

Published in: IEEE Trans. Inf. Forensics Secur. (2018)

Keyphrases

test generation
test cases
symbolic execution
quality assurance
test sequences
object detection
mutation testing
design automation
detection algorithm
static analysis
false positives
real world
software testing
detection method
design process
training set
database systems
metadata
code coverage
computer vision