Staged program repair with condition synthesis

Short summary

SPR, a new program repair system, combines staged repair and condition synthesis to generate and search program repairs, achieving over five times more correct repairs than previous systems on the same benchmark.

AI-generated from the title and abstract; the full text is not read.