GitHub repository: JFoederer/robotframeworkMBT
Primary language: Python
Description: Model-Based Testing in Robot framework with test case generation