Test generation for combinational hardware Trojans.

Sying-Jyan Wang Jhih-Yu Wei Shih-Heng Huang Katherine Shu-Min Li

Published in: AsianHOST (2016)

Keyphrases

test generation
test cases
symbolic execution
design automation
hardware and software
low cost
static analysis
test sequences
quality assurance
mutation testing
real time
computer systems
image processing
software testing
circuit design
test data generation
real world
cooperative
information systems
code coverage