Keyphrases
- symbolic execution
- unit testing
- test cases
- test data generation
- software testing
- test generation
- integration testing
- static analysis
- black box
- test data
- test suite
- software development
- quality assurance
- tool suite
- software systems
- specification language
- test set
- source code
- software engineering
- information systems
- database
- object oriented
- data sets