Randoop-based automated test generation for Go-to-Java translated data structures (List & AVL Tree) with repOK invariants. Includes coverage analysis and debugging guide.

A comprehensive project implementing combinatorial algorithms and graph theory solutions, developed as part of computer science coursework.