Síntese de programas indutiva

Reparo de Programas

Processo de correção automática de programas defeituosos, modificando o código existente para eliminar bugs. Esta técnica frequentemente utiliza técnicas de síntese para gerar patches funcionais que preservam a intenção original.

← Voltar