GitHub repository: stevenans9859/mbtcreator
Description: A gui-based tool for model based testing