user assisted data structure debugging and verication .
Heapviz: Interactive Heap Visualization for Program Understanding and Debugging