Ponencia en Congreso:
FLACK: Counterexample-guided fault localization for alloy models

dc.contributor.authorZheng, Guolong
dc.contributor.authorNguyen, Thanh Vu
dc.contributor.authorGutiérrez Brida, Simón
dc.contributor.authorRegis, Germán
dc.contributor.authorFrías, Marcelo
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorBagher, Hamid
dc.date.accessioned2022-06-03T13:54:30Z
dc.date.available2022-06-03T13:54:30Z
dc.date.issued2021
dc.description.abstract"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 program to identify suspicious statements. In this work, we introduce a fault localization approach for models written in a declarative language, where the models are not “executed,” but rather converted into a logical formula and solved using backend constraint solvers. We present FLACK, a tool that takes as input an Alloy model consisting of some violated assertion and returns a ranked list of suspicious expressions contributing to the assertion violation. The key idea is to analyze the differences between counterexamples, i.e., instances of the model that do not satisfy the assertion, and instances that do satisfy the assertion to find suspicious expressions in the input model. The experimental results show that FLACK is efficient (can handle complex, real world Alloy models with thousand lines of code within 5 seconds), accurate (can consistently rank buggy expressions in the top 1.9% of the suspicious list), and useful (can often narrow down the error to the exact location within the suspicious expressions)."en
dc.identifier.isbn13-978-1-6654-1219-3
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/3909
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1109/ICSE43902.2021.00065
dc.relationinfo:eu-repo/grantAgreement/ARO/W911NF-19-1- 0054/US. Durham
dc.relationinfo:eu-repo/grantAgreement/NSF/CCF-1948536/US. Virginia. Alexandria
dc.relationinfo:eu-repo/grantAgreement/NSF/CCF-1755890/US. Virginia. Alexandria
dc.relationinfo:eu-repo/grantAgreement/NSF/CCF-1618132/US. Virginia. Alexandria
dc.relationnfo:eu-repo/grantAgreement/ANCyP/PICT/2016-1384/AR. Ciudad Autónoma de Buenos Aires
dc.relationinfo:eu-repo/grantAgreement/ANCyP/PICT/2016-1384/AR. Ciudad Autónoma de Buenos Aires
dc.relationinfo:eu-repo/grantAgreement/ANCyP/PICT/2017-2622/AR. Ciudad Autónoma de Buenos Aires
dc.subjectANALISIS DE FALLASes
dc.subjectLENGUAJES DE PROGRAMACIONes
dc.titleFLACK: Counterexample-guided fault localization for alloy modelsen
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: Zheng, Guolong. University of Nebraska; Estados Unidos.
itba.description.filiationFil: Bagher, Hamid. University of Nebraska; Estados Unidos.
itba.description.filiationFil: Nguyen, Thanh Vu. University of Nebraska; Estados Unidos.
itba.description.filiationFil: Gutiérrez Brida, Simón. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Gutiérrez Brida, Simón. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Regis, Germán. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Regis, Germán. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.

Archivos

Bloque original
Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
Zheng_2021_ING_INFORMATICA_ponencia.pdf
Tamaño:
2.83 MB
Formato:
Adobe Portable Document Format
Descripción:
Articulo_Zheng
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
1.6 KB
Formato:
Item-specific license agreed upon to submission
Descripción: