オンデマンド候補生成による実用的なプログラム修復に向けて

誤ったプログラムを修正するための効果的なプログラム修復技術は、手動デバッグのコストを大幅に削減できます。一般的な修復アプローチは、まず可能なバグ修正を持つ候補プログラムを反復的に生成し、その後与えられたテストに対して検証を行い、すべてのテストに合格する候補が見つかるまで続けることです。このアプローチは概念的にはシンプルですが、最初に生成し、コンパイルしてテストする必要のある候補の数が潜在的に高いため、このアプローチを体現した既存の修復技術は相対的に効果が低く、特に細かい粒度の欠陥に対してはそうです。