## Memo ## Abstract あるテストケースが与えられたとき、プログラムが失敗します。そのテストケースのどの状況が、特定の失敗の原因なのでしょうか？デルタ・デバッグ・アルゴリズムは、失敗したテストケースを一般化して単純化し、それでもなお失敗を 生み出す最小のテストケースにします。また、合格と不合格のテストケースの違いを分離します。ある事例では、Mozilla ウェブ・ブラウザが 95 回のユーザ操作の後にクラッシュしました。私たちのプロトタイプ実装は、自動的に入力を3つの関連するユーザーアクションに単純化した。同様に、896行のHTMLを、失敗の原因となった1行に単純化した。このケーススタディでは、500MHzのPCで139回、35分の自動テスト実行が必要だった。