Defect Diagnosis - Reasoning Methodology. - Yasuo Sato; Kazushi Sugiura; Reisuke Shimoda; Yutaka Yoshizawa; Kenji Norimatsu; Masaru Sanada (ATS, 2006)