GitHub repository: junkerm/specmate
Primary language: Java
Created: 2016-12-21T12:10:03Z
Description: Web-based Modeling and Test-Generation Tool