Keyphrases
- test cases
- symbolic execution
- search based software testing
- concurrent programs
- test data generation
- static analysis
- computer programs
- test suite
- formal representation
- test generation
- software testing
- real time
- formal model
- formal methods
- artificial neural networks
- formal models
- case study
- artificial intelligence
- neural network
- databases
- data sets