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

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

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
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
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