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