Automated Assertion Generation from Natural Language Specifications.
Steven J. FrederiksenJohn AromandoMichael S. HsiaoPublished in: ITC (2020)
Keyphrases
- natural language
- text generation
- written in natural language
- semi automated
- machine learning
- formal language
- automated analysis
- semantic interpretation
- knowledge representation
- natural language generation
- formal specification
- context sensitive
- controlled natural language
- delay insensitive
- semantic analysis
- fully automated
- computer assisted
- computer aided
- question answering
- expert systems
- databases
- real time
- dialogue system
- evolutionary algorithm
- multi agent
- decision trees
- artificial intelligence
- data sets