Automated software-based self-test generation for microprocessors.
Artjom JasnetskiRaimund UbarAnton TsertovPublished in: MIXDES (2017)
Keyphrases
- test generation
- test cases
- software testing
- quality assurance
- static analysis
- symbolic execution
- software development
- test data generation
- test sequences
- design automation
- personal computer
- test suite
- regression testing
- source code
- software systems
- computer systems
- code coverage
- databases
- user interface
- case study
- pattern matching
- test set
- relational databases
- testing process
- high level
- machine learning
- data sets
- mutation testing