Login / Signup
Coupling Distributed and Symbolic Execution for Natural Language Queries.
Lili Mou
Zhengdong Lu
Hang Li
Zhi Jin
Published in:
ICLR (Workshop) (2017)
Keyphrases
</>
symbolic execution
natural language queries
natural language interface
distributed systems
conceptual graphs
static analysis
test generation
test data generation
source code
natural language
keywords
digital libraries
general purpose
information retrieval systems
specification language