Keyphrases
- concurrent programs
- test cases
- unit testing
- static analysis
- neural network
- defect detection
- dynamic analysis
- training data
- data structure
- search algorithm
- empirical studies
- image sequences
- web services
- error detection
- image processing
- artificial intelligence
- error correcting
- symbolic execution
- program code
- data mining
- databases
- test driven development