Coupling Distributed and Symbolic Execution for Natural Language Queries.
Lili MouZhengdong LuHang LiZhi JinPublished in: ICML (2017)
Keyphrases
- software engineering
- symbolic execution
- natural language queries
- natural language interface
- software development
- programming language
- distributed systems
- specification language
- test generation
- test data generation
- static analysis
- data flow
- natural language
- search engine
- source code
- conceptual graphs
- open source
- databases
- information retrieval