Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique