Login / Signup

Automatic concolic test generation with virtual prototypes for post-silicon validation.

Kai CongFei XieLi Lei
Published in: ICCAD (2013)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • design automation
  • static analysis
  • virtual environment
  • artificial intelligence
  • data sets
  • virtual world
  • high speed
  • test sequences
  • mutation testing