nsimsiri / ponzu Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Automated Test Generator using model inference and dynamic invariant mining

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
lib		lib
src		src
.gitignore		.gitignore
.project		.project
ComponentMTSGenerator.iml		ComponentMTSGenerator.iml
README.md		README.md
build.xml		build.xml
pipeline.png		pipeline.png
status.png		status.png

Repository files navigation

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

About

Automated Test Generator using model inference and dynamic invariant mining

Report repository

Releases

No releases published

Packages

No packages published

Languages