Keyphrases
- concurrent programs
- symbolic execution
- concurrent programming
- concurrent processes
- computer programs
- set of test cases
- control structures
- mutual exclusion
- software testing
- machine learning
- test cases
- hidden markov models
- search algorithm
- information retrieval
- object oriented
- evolutionary algorithm
- provably correct
- prolog programs
- e learning
- search engine
- artificial intelligence