Chatbot-based assertion generation from natural language specifications

Conference contribution


Publication Details

Author(s): Keszöcze O, Harris IG
Publication year: 2019
Language: English


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 specifica-
tions 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.


FAU Authors / FAU Editors

Keszöcze, Oliver Prof. Dr.
Juniorprofessur für Informatik


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. 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, Southampton 2019.

BibTeX: 

Last updated on 2019-16-07 at 09:23