CATG
A concolic unit testing engine for Java programs that combines concrete and symbolic execution to generate test inputs.
What is CATG?
CATG is a concolic unit testing engine for Java programs that automatically generates test inputs by combining concrete execution with symbolic analysis. It instruments Java bytecode at runtime to log program execution and uses constraint solving to explore different code paths, helping developers achieve higher test coverage.
Java developers and software testers who need automated test generation tools, particularly those working on projects requiring thorough unit testing and edge-case discovery.
CATG provides an open-source, self-hosted alternative to commercial concolic testing tools, offering both online and offline execution modes with detailed coverage reporting through integration with JaCoCo.
Overview
a concolic testing engine for Java
Use Cases
Best For
- Automatically generating unit tests for Java classes with complex logic
- Improving code coverage by discovering unexplored execution paths
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
