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