Login / Signup

Optimization of Mutant Space for RTL Test Generation.

Kunal BansalMichael S. Hsiao
Published in: ICCD (2018)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • test sequences
  • optimization algorithm
  • static analysis
  • databases
  • machine learning
  • multi agent systems
  • model based diagnosis
  • design automation