GitHub repository: tahiat/specimin
Primary language: Java
Description: SPECIfication MINimizer. A different kind of slicer for Java.