Simón Gutiérrez Brida

18 papers A* 5A 1C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.
ACM Trans. Softw. Eng. Methodol.
Luciano Zemín, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo Fabian Frias
2024 C conf
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
ABZ
César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
2022 A conf
ATR: template-based repair for Alloy specifications.
ISSTA
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
2022 A* conf
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 — conf
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.
ICSE (Companion Volume)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 — conf
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE (Companion Volume)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
BeAFix: An Automated Repair Tool for Faulty Alloy Models.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
Bounded Exhaustive Search of Alloy Specification Repairs.
CoRR
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
ICSE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 J jnl
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
CoRR
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 A* conf
FLACK: Localizing Faults in Alloy Models.
ASE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2019 J jnl
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
2018 — —
Mutación de expresiones de navegación para testing y reparación
Simón Gutiérrez Brida
2018 — conf
On the effect of object redundancy elimination in randomly testing collection classes.
SBST@ICSE
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
2017 — conf
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
SBST@ICSE
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2017 C conf
Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.
CLEI
Simón Gutiérrez Brida, Gastón Scilingo
2017 — conf
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.
ESEC/SIGSOFT FSE
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias