Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study.
Heon-Mo KooPrabhat MishraJayanta BhadraMagdy S. AbadirPublished in: MTV (2006)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- static analysis
- design automation
- industrial applications
- high speed
- mutation testing
- software testing
- quality assurance
- parallel processing
- software architecture
- case study
- monitoring system
- test data generation
- programming language
- image data
- artificial intelligence