GitHub repository: Cornutum/tcases
Primary language: Java
Description: A model-based test case generator