Keyphrases
- test generation
- test cases
- static analysis
- quality assurance
- software testing
- test data generation
- test sequences
- symbolic execution
- software systems
- regression testing
- design automation
- source code
- software development
- mutation testing
- test suite
- software maintenance
- multi agent
- petri net
- testing process
- user interface
- artificial intelligence
- data sets