Ponzu

Automated Test Generator using model inference and dynamic invariant mining

Model Inference Algorithm: State-Enhanced K-tails (http://people.cs.umass.edu/~brun/pubs/pubs/Krka14fse.pdf)

Dependencies:

Java 1.8 & Scala 2.6
GSON 1.7
JUnit (latest)
ModBat (http://fmv.jku.at/modbat/)
Daikon 5.6.2
Yices (Currently ~~working on~~ testing 64-bit Yices Java Language Binding)

Pipeline

Current progress on Tests Generated for JFreeCharts Project