Automatically generating precise Oracles from structured natural language specifications.
Manish MotwaniYuriy BrunPublished in: ICSE (2019)
Keyphrases
- automatically generating
- natural language
- written in natural language
- automatically generated
- formal language
- natural language processing
- knowledge representation
- natural language interface
- controlled natural language
- structured data
- question answering
- semantic interpretation
- semantic analysis
- natural language generation
- active learning
- information extraction
- machine learning
- case study
- real time
- real world
- test cases
- delay insensitive
- structured learning
- english words
- machine translation
- specification language
- semantic representation
- software engineering
- neural network
- databases