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

Other Useful Business Software
Gemini 3 and 200+ AI Models on One Platform Icon
Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Korat!

Additional Project Details

Intended Audience

Developers, Quality Engineers, Science/Research

User Interface

Command-line, Java Swing

Programming Language

Java

Related Categories

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

Registered

2007-01-04