An introduction to Delta Debugging

http://programming.newsforge.com/programming/05/06/30/1549248.shtml?tid=140
特定の状態や入力に対してのみバグが発生するとき、入力をいくつも自動生成してテストすることによって、状態・入力のどの部分がバグを引き起こしているのかを検出という手法。ここでいう入力にはファイルだけでなく、マウス操作・キーボード操作などのユーザー操作も含まれる。マルチスレッドのバグに対しても有効だと書いてある。まあ普段プログラマが行っていることを完全に自動化しようということらしい。