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.


©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.