Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- design automation
- static analysis
- hardware and software
- software testing
- low cost
- quality assurance
- real time
- mutation testing
- hardware implementation
- test suite
- test set
- computer systems
- source code
- relational databases
- regression testing
- case study
- learning algorithm
- real world