Visualization of Bugs in Subtraction with Black-Box Model. - Tsukasa Hirashima; Mutsuko Noguchi; Akira Takeuchi (ICCE, 2002)