Corrección automatizada de las violaciones de las reglas de diseño en el código fuente mediante la abducción lógica