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.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Korat2015

Korat2015 Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of Korat2015!

Additional Project Details

User Interface

Java Swing, Command-line

Programming Language

Java

Related Categories

Java Software Testing Tool

Registered

2015-06-18

Similar Business Software

MarathonITE

MarathonITE makes it easy to create GUI tests. You can quickly automate your functional tests and regression tests. MarathonITE has an open and flexible architecture based on open source projects like Marathon, Ruby and Selenium. MarathonITE makes creating, maintaining and executing automated...

See Software
NeoLoad

Continuous performance testing software to automate API and application load testing. Design code-less performance tests for complex applications. Script performance tests <as:code /> within automated pipelines for API testing. Design, maintain and run performance tests as code and analyze...

See Software
Sahi Pro

Sahi Pro is a no-code test automation tool for web, desktop, mobile, and SAP applications. Sahi Pro empowers business testers and automation engineers to streamline their test automation processes. Sahi Pro reduces the time, effort, and complexity involved in test automation, making it an ideal...

See Software