autores João Alexandre Baptista Vieira Saraiva Rodrigues dos Santos, Sofia Guilherme SANTOS, SOFIA Saraiva, João Francisco Ribeiro
palavras-chave Automated program repair Automatic testing Code generation Fault localization Large language model Type checking