Login / Signup

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.

Lixiang ShenDejun MuGuo CaoMaoyuan QinJeremy BlackstoneRyan Kastner
Published in: Comput. Secur. (2018)
Keyphrases
  • generation algorithm
  • test data generation
  • symbolic execution
  • test generation
  • multi objective
  • genetic programming
  • building blocks
  • test cases
  • static analysis