归纳程序综合

Program Repair

Processus de correction automatique de programmes défectueux en modifiant le code existant pour éliminer les bugs. Cette technique utilise souvent des techniques de synthèse pour générer des patches fonctionnels préservant l'intention originale.

← 返回