High-level test generation for hardware testing and software validation.
Olga GoloubevaMatteo Sonza ReordaMassimo ViolantePublished in: HLDVT (2003)
Keyphrases
- test generation
- test cases
- software testing
- high level
- model based testing
- quality assurance
- static analysis
- symbolic execution
- test data generation
- test sequences
- mutation testing
- design automation
- source code
- computer systems
- low level
- hardware design
- testing process
- regression testing
- code coverage
- test suite
- software systems
- embedded systems
- hardware and software
- hardware platforms
- software development
- hardware implementation
- test set
- blue gene
- high level programming
- integration testing
- software maintenance
- object oriented
- semantic information
- programming language
- training set