GitHub repository: tayloj/dither-java
Primary language: Java
Description: IPOG and other test generation strategies