A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking

Verification of chatbot conversational flows is paramount to capturing and understanding chatbot behavior and predicting problems that would cause the entire flow to be restructured from scratch. The literature on chatbot testing is scarce, and the few works that approach this subject do not focus o...

Full description

Bibliographic Details
Main Authors: Geovana Ramos Sousa Silva, Genaína Nunes Rodrigues, Edna Dias Canedo
Format: Article
Language:English
Published: Graz University of Technology 2023-07-01
Series:Journal of Universal Computer Science
Subjects:
Online Access:https://lib.jucs.org/article/91311/download/pdf/