Executable BDD Scenario Models for RobotframeworkMBT

This artifact contains executable BDD Scenarios (in .robot files) to be run with RobotframeworkMBT,  which enables Model-based testing in Robot framework for BDD Scenarios. The artifact also includes sample log files of the executions and screenshots of the case study presented in the paper:

"Sequential Composition of BDD Transition Systems for Model-Based Testing"

This artifact is intended for researchers and practitioners interested in combining model-based testing (MBT), and Behavior-Driven Development(BDD) for test automation.