Chatbot-Based Assertion Generation from Natural Language Specifications
Keszöcze O, Harris IG (2019)
Publication Language: English
Publication Type: Conference contribution
Publication year: 2019
Event location: Southampton
ISBN: 978-1-72814-113-8
Abstract
We present an approach to simplify the task of ex tracting assertions from specifications given in natural language. Our goal is to accept and understand a broad range of linguistic variation, allowing the author of the natural language specifications to express herself freely. To enable this, we leverage the Dialogflow framework from Google. Dialogflow is usually used to build chatbots that understand and respond to conversational
statements. We have trained a Dialogflow model to recognize a range of different natural language expressions of properties, and to identify key information inside the expression. The model responses to each statement with a generated SystemVerilog assertion whose semantic meaning is equivalent to that of the English statement.
Authors with CRIS profile
How to cite
APA:
Keszöcze, O., & Harris, I.G. (2019). Chatbot-Based Assertion Generation from Natural Language Specifications. In Proceedings of the Forum on Specification & Design Languages (FDL). Southampton, GB.
MLA:
Keszöcze, Oliver, and Ian G. Harris. "Chatbot-Based Assertion Generation from Natural Language Specifications." Proceedings of the Forum on Specification & Design Languages (FDL), Southampton 2019.
BibTeX: Download