korat2015 online with Winfy

We have hosted the application korat2015 in order to run this application in our online workstations with Wine or directly.

Quick description about korat2015:

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.

Please see http: //korat.sourceforge.net/index.html for more information on the Korat application.

Korat 2015 includes the below enhancements to Korat:
- Graphical User Interface using Java Swing
- Graph Output Format using JUNG (Java Universal Network/Graph Framework)
- Finite State Machine Domain
- Graph Archival using JSON (JavaScript Object Notation)

The Wiki page has information to download, install and run Korat 2015.


User interface: Java Swing, Command-line.
Programming Language: Java.

.