GitHub repository: l-o-u-y/specmate
Primary language: Java
Description: Web-based Modeling and Test-Generation Tool