Bounded exhaustive search of alloy specification repairs

Gutiérrez Brida, Simón; Regis, Germán; Zheng, Guolong; Bagher, Hamid; Nguyen, Thanh Vu; Aguirre, Nazareno; Frías, Marcelo

ponencia en congreso.page.titleprefix
Bounded exhaustive search of alloy specification repairs

dc.contributor.author	Gutiérrez Brida, Simón
dc.contributor.author	Regis, Germán
dc.contributor.author	Zheng, Guolong
dc.contributor.author	Bagher, Hamid
dc.contributor.author	Nguyen, Thanh Vu
dc.contributor.author	Aguirre, Nazareno
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2022-05-31T18:54:49Z
dc.date.available	2022-05-31T18:54:49Z
dc.date.issued	2021
dc.description.abstract	"The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, ex ploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages. Our experience with using BeAFix to repair thousands of real world faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art."	en
dc.identifier.isbn	13-978-1-6654-1219-3
dc.identifier.uri	http://ri.itba.edu.ar/handle/123456789/3900
dc.language.iso	en	en
dc.relation	info:eu-repo/semantics/altIdentifier/doi/10.1109/ICSE43902.2021.00105
dc.relation	nfo:eu-repo/grantAgreement/ANCyP/PICT/2016-1384/AR. Ciudad Autónoma de Buenos Aires
dc.relation	nfo:eu-repo/grantAgreement/ANCyP/PICT/2017-1979/AR. Ciudad Autónoma de Buenos Aires
dc.relation	info:eu-repo/grantAgreement/ANCyP/PICT/2017-2622/AR. Ciudad Autónoma de Buenos Aires
dc.relation	info:eu-repo/grantAgreement/ARO/W911NF19-1-0054/US. Durham
dc.relation	info:eu-repo/grantAgreement/NSF/CCF-1948536/US. Virginia. Alexandria
dc.relation	info:eu-repo/grantAgreement/NSF/CCF-1755890/US. Virginia. Alexandria
dc.relation	info:eu-repo/grantAgreement/NSF/CCF-1618132/US. Virginia. Alexandria
dc.subject	LENGUAJES DE PROGRAMACION	es
dc.subject	AUTOMATIZACION	es
dc.subject	REPARACIONES	es
dc.title	Bounded exhaustive search of alloy specification repairs	en
dc.type	Ponencias en Congresos	es
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Ponencia en Congreso
itba.description.filiation	Fil: Gutiérrez Brida, Simón. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiation	Fil: Gutiérrez Brida, Simón. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Regis, Germán. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiation	Fil: Zheng, Guolong. University of Nebraska; Estados Unidos.
itba.description.filiation	Fil: Bagher, Hamid. University of Nebraska; Estados Unidos.
itba.description.filiation	Fil: Nguyen, Thanh Vu. University of Nebraska; Estados Unidos.
itba.description.filiation	Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiation	Fil: Aguirre, Nazareno. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.