Vi presenterar SPR, ett nytt program reparationssystem som kombinerar iscensatt program reparation och tillstånd syntes. Dessa tekniker gör det möjligt för SPR att arbeta produktivt med en uppsättning parameteriserade omvandlingsscheman för att generera och effektivt söka ett rikt utrymme av programreparationer. Tillsammans gör dessa tekniker det möjligt för SPR att generera korrekta reparationer för över fem gånger så många defekter som tidigare system som utvärderats på samma referensuppsättning.
SPR REF utför iscensatt programreparation.
Staged program repair with condition synthesis
{'venue': 'ESEC/FSE 2015', 'journal': None, 'mag_field_of_study': ['Computer Science']}