Testing Neural Programs.
Md. Rafiqul Islam RabinKe WangMohammad Amin AlipourPublished in: CoRR (2019)
Keyphrases
- symbolic execution
- network architecture
- neural network
- information technology
- test generation
- neural model
- set of test cases
- concurrent programs
- neural computation
- artificial neural
- computer programs
- bio inspired
- test cases
- answer sets
- computational intelligence
- provably correct
- hidden markov models
- decision trees
- information retrieval
- databases
- real time