An SPU reference model for simulation, random test generation and verification.
Yukio WatanabeBalazs SallayBrad W. MichaelDaniel A. BrokenshireGavin MeilHazim ShafiDaisuke HiraokaPublished in: ASP-DAC (2006)
Keyphrases
- test generation
- reference model
- test cases
- symbolic execution
- reference models
- design automation
- test sequences
- static analysis
- quality assurance
- software testing
- model checking
- software architecture
- metamodel
- image quality
- code coverage
- data sets
- test data generation
- learning process
- high level
- image processing
- machine learning