Publicação

Large language models in automated repair of haskell type errors

Ver documento

Detalhes bibliográficos
Resumo:This paper introduces a new method of Automated Program Repair that relies on a combination of the GPT-4 Large Language Model and automatic type checking of Haskell programs. This method identifies the source of a type error and asks GPT-4 to fix that specific portion of the program. Then, QuickCheck is used to automatically generate a large set of test cases to validate whether the generated repair behaves as the correct solution. Our publicly available experiments revealed a success rate of 88.5% in normal conditions. However, more detailed testing should be performed to more accurately evaluate this form of APR.
Autores principais:Santos, Sofia
Outros Autores:Saraiva, João; Ribeiro, Francisco
Assunto:Automated program repair Large language model Fault localization Code generation Type checking Automatic testing
Ano:2024
País:Portugal
Tipo de documento:comunicação em conferência
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados