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

• Published in: J.UCS (Annual print and CD-ROM archive ed.) Vol. 29; no. 7; pp. 805 - 835
• Main Authors: Silva, Geovana Ramos Sousa, Rodrigues, Genaína Nunes, Canedo, Edna Dias
• Format: Journal Article
• Language: English
• Published: Bristol Pensoft Publishers 01.01.2023; Graz University of Technology
• Subjects: Analysis; Chatbots; Computer programming; Context; conversational desi; formal verification; Model testing; Modelling; Prototyping; Verification

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