user assisted data structure debugging and verication .
Visualization of test information to assist fault localization