GitHub repository: wehrlean/specmate
Primary language: Java
Description: Web-based Modeling and Test-Generation Tool