Korat

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Korat

Korat Web Site

You Might Also Like

Top-Rated Free CRM Software

216,000+ customers in over 135 countries grow their businesses with HubSpot

HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.

Get started free

Rate This Project

User Reviews

Be the first to post a review of Korat!

Additional Project Details

Intended Audience

Science/Research, Developers, Quality Engineers

User Interface

Java Swing, Command-line

Programming Language

Java

Related Categories

Java Software Testing Tool, Java Algorithms, Java QA Automation Software

Registered

2007-01-04

Similar Business Software

Testsigma

Testsigma is a low-code end-to-end software testing platform that works out of the box. It's built to enable modern Product teams to collaboratively plan, develop, execute, analyze, debug, and report on their automated testing—for websites, native Android and iOS apps, and APIs. Testsigma...

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

Report inappropriate content