Inductive program synthesis

Program Repair

Process of automatically correcting defective programs by modifying existing code to eliminate bugs. This technique often uses synthesis techniques to generate functional patches that preserve the original intent.

← Terug