Addressing Test Generation Challenges for Configurable Processor Verification.
Michal RimonYossi LichtensteinAllon AdirItai JaegerMichael VinovS. JohnsonD. JaniPublished in: HLDVT (2006)
Keyphrases
- test generation
- symbolic execution
- test cases
- design automation
- test sequences
- static analysis
- mutation testing
- high speed
- test data generation
- software testing
- quality assurance
- parallel processing
- code coverage
- real world
- decision trees
- machine learning
- test set
- case study
- information systems
- computer vision
- artificial intelligence