Model Based Test Generation for Processor Verification.
Yossi LichtensteinYossi MalkaAharon AharonPublished in: IAAI (1994)
Keyphrases
- test generation
- symbolic execution
- test cases
- test sequences
- design automation
- quality assurance
- mutation testing
- software testing
- static analysis
- high speed
- regression testing
- parallel processing
- functional verification
- image processing
- artificial intelligence
- development process
- test data generation
- learning algorithm
- databases