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

nel_h2

Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.

Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.

Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.

Start for Free

Rate This Project

User Reviews

Be the first to post a review of Korat2015!

Additional Project Details

User Interface

Command-line, Java Swing

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
TestComplete

Ensure the quality of your application without sacrificing speed or agility with an easy-to-use, GUI test automation tool. Our AI-powered object recognition engine and script or scriptless flexibility is unmatched, letting you test every desktop, web, and mobile application with ease....

See Software
Alithya GoTest

Alithya GoTest is a collaborative test hub that is easy and quick to master and integrate, ensuring the quality of any professional digital solutions for companies requiring reliability without compromises. Ensure the quality of your application without sacrificing speed or agility with an...

See Software
Early

Early is an AI-driven tool designed to automate the generation and maintenance of unit tests, enhancing code quality and accelerating development processes. By integrating with Visual Studio Code (VSCode), Early enables developers to produce verified and validated unit tests directly from their...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
OpenText Functional Testing for Developers

OpenText Functional Testing for Developers is an automated shift-left testing solution that enables developers to perform functional testing early in the software development lifecycle. It supports multiple standard programming languages like C#, Java, and JavaScript, allowing testers to use...

See Software