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 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the repok topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the repok topic, visit your repo's landing page and select "manage topics."