Modeling and test generation for combinational hardware Trojans.

Ziqi Zhou Ujjwal Guin Vishwani D. Agrawal

Published in: VTS (2018)

Keyphrases

test generation
real time
low cost
hardware and software
image processing
test cases
design automation
cooperative
computer systems
static analysis
test data generation
machine learning
test sequences
symbolic execution