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

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try 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

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
MuukTest

Are bugs slipping through your QA process and frustrating your customers? Catching issues early shouldn’t mean overwhelming your team with time-consuming tests. With MuukTest’s AI-driven platform, growing engineering teams reach 95% end-to-end test coverage in just 3 months, delivering quality...

See 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
QA Wolf

Whether you're shipping web or mobile apps, QA Wolf has you covered. We build automated end-to-end tests for 80% of your user flows in weeks, maintain them 24 hours a day, and provide unlimited parallel test runs on our infrastructure. Did we mention that we guarantee zero flakes? We do that...

See Software
Testim

Testim is the fastest path to resilient end-to-end tests—codeless, coded or both. Testim lets you create amazingly stable codeless tests that leverage our AI, but also the flexibility to export tests as code. You can leverage Testim’s modern JavaScript API and your IDE to debug, customize or...

See Software
T-Plan Robot

T-Plan Robot automates scripted user actions for Test Automation or Robotic Process Automation (RPA) on Mac, Windows Linux & Mobile. T-Plan develops and sells two main toolsets. 1) Test Automation and 2) Robotic Process Automation (RPA). T-Plan Robot is a highly flexible, easy to use,...

See Software