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