ATR: Template-based repair for alloy specifications

Mostrar todas las versiones(2)

"Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as C and Java, and rely on analyzing correct and incorrect executions of progr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Zheng, Guolong, Vu Nguyen, Thanh, Gutiérrez Brida, Simón, Regis, Germán, Aguirre, Nazareno, Frías, Marcelo F., Bagheri, Hamid
Formato: Artículo de Publicación Periódica acceptedVersion
Lenguaje:Inglés
Publicado: 2023
Materias:
REPARACIONES
ALEACIONES
Acceso en línea:https://ri.itba.edu.ar/handle/123456789/4144
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

Ejemplares similares

Ejemplares similares