xDIVA: automatic animation between debugging break points. - Yung-Pin Cheng; Han-Yi Tsai; Chih-Shun Wang; Chien-Hsin Hsueh (SOFTVIS, 2010)