• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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