C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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