Keyphrases
- test cases
- symbolic execution
- search based software testing
- test data generation
- static analysis
- test data
- computer programs
- programming course
- artificial intelligence
- source code
- software engineering
- multi agent
- test suite
- programming environment
- data structure
- test generation
- decision trees
- concurrent programs
- decision making