Coupling Distributed and Symbolic Execution for Natural Language Queries.

Lili Mou Zhengdong Lu Hang Li Zhi Jin

Published in: CoRR (2016)

Keyphrases

symbolic execution
natural language queries
natural language interface
natural language
distributed systems
static analysis
test generation
test data generation
object oriented
source code
database
databases
artificial intelligence
relevant documents
conceptual model
simulated annealing algorithm