Keyphrases
- symbolic execution
- test data generation
- test generation
- static analysis
- specification language
- source code
- data flow
- mobile devices
- virtual environment
- decision trees
- test cases
- evolutionary algorithm
- pattern matching
- regular expressions
- quality control
- software testing
- particle swarm optimization
- open source
- case study
- data sets