A visualization tool for recursive linked structures generated by Korat




Ren, Yuanrui

Journal Title

Journal ISSN

Volume Title



This report presents Korat-Viz, an off-line visualization tool for Korat, a framework for generating test cases of Java programs. Given a predicate specifying the structural properties and a bound on the desired test input size, Korat can generate all test cases satisfying these two requirements. The default representation of the generated test cases in Korat is candidate vector. Korat-Viz provides a graphical representation of the test cases, helping users to have a better understanding of the Korat search and the generated test cases. More specifically, our implementation focuses on recursive linked data structures, such as linked lists and binary trees, which are commonly used in Java libraries and are standard examples for the Korat tool.


LCSH Subject Headings