Program-delta oriented debugging supporting method DMET. - Makoto Matsushita; Masayoshi Teraguti; Katsuro Inoue (Syst. Comput. Jpn., 2006)