Module that connects a llm repOK generator with a randoop verifier to generate representation invariants for Java classes.
-
Updated
Jul 1, 2025 - Java
#
repok
Here are 4 public repositories matching this topic...
Python API to use llama-cpp-python as a repOK generator for Java classes with any LLM with .gguf binary format.
-
Updated
May 12, 2025 - Python
Randoop-based automated test generation for Go-to-Java translated data structures (List & AVL Tree) with repOK invariants. Includes coverage analysis and debugging guide.
java testing go golang avl-tree code-coverage test-generation randoop dynamic-list llm-translation repok go-to-java
-
Updated
Dec 4, 2025 - Java
-
Updated
Nov 18, 2025 - Java
Add this topic to your repo
To associate your repository with the repok topic, visit your repo's landing page and select "manage topics."