Scheduling-based test-case generation for verification of multimedia SoCs.
Amir NahirAvi ZivRoy EmekTal KeidarNir RonenPublished in: DAC (2006)
Keyphrases
- test case generation
- multimedia
- test cases
- software testing
- test data generation
- scheduling problem
- object oriented systems
- test generation
- test suite
- java programs
- software engineering
- model checking
- parallel machines
- cooperative
- static analysis
- source code
- database
- relational databases
- feature space
- high level
- e learning
- learning algorithm
- genetic algorithm
- real world