プログラムの差分情報を用いた デバッグ手法の評価実験