Oliver Keszöcze, Ian G. Harris. Chatbot-based assertion generation from natural language specifications. In Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak, editors, 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.