Keyphrases
- symbolic execution
- static analysis
- test data generation
- test generation
- specification language
- source code
- data flow
- test cases
- software engineering
- distributed systems
- genetic algorithm
- artificial intelligence
- high level
- database systems
- neural network
- data sets
- case study
- databases
- software testing
- genetic programming
- image quality
- database
- data model