Keyphrases
- test generation
- test cases
- software testing
- static analysis
- quality assurance
- test data generation
- software development
- symbolic execution
- software systems
- design automation
- source code
- test sequences
- mutation testing
- software projects
- software architecture
- regression testing
- high level
- image processing
- artificial intelligence
- databases