Regression Testing of Virtual Prototypes Using Symbolic Execution.
Bin LinDejun QianPublished in: CoRR (2016)
Keyphrases
- regression testing
- symbolic execution
- test generation
- test cases
- test data generation
- software testing
- static analysis
- test suite
- software maintenance
- source code
- quality assurance
- training set
- data flow
- database systems
- specification language
- databases
- test set
- general purpose
- object oriented
- case study
- machine learning
- high level
- neural network