FLACK: Counterexample-guided fault localization for alloy models

Mostrar todas las versiones(2)

"Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzing correct and incorrect executions of the...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Zheng, Guolong, Nguyen, Thanh Vu, Gutiérrez Brida, Simón, Regis, Germán, Frías, Marcelo, Aguirre, Nazareno, Bagher, Hamid
Formato: Ponencias en Congresos acceptedVersion
Lenguaje:Inglés
Publicado: 2022
Materias:
ANALISIS DE FALLAS
LENGUAJES DE PROGRAMACION
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/3909
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

Ejemplares similares

Ejemplares similares