T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. - Joseph Gil; Beery Holstein (TOOLS (23), 1997)