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