Get started
Author

Simón Gutiérrez Brida

Observed names: Brida, Simón Gutiérrez, Gutiérrez Brida, Simón, Simon Gutierrez Brida, Simón Emmanuel Gutiérrez Brida
ORCID: 0000-0003-3115-2739
Observed ORCID: 0000-0003-3115-2739
OpenAlex ID: A5056122432
Bounded Exhaustive Search of Alloy Specification Repairs
2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 30
PDF
ATR: template-based repair for Alloy specifications
2022 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 24
PDF
FLACK: Counterexample-Guided Fault Localization for Alloy Models
2021 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 24
PDF
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
2022 · Simón Gutiérrez Brida, Germán Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 20
PDF
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
2017 · Germán Regis, César Cornejo, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 18
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
2017 · Luciano Zemin, Simon Gutierrez Brida, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 8
BeAFix: An Automated Repair Tool for Faulty Alloy Models
2021 · Simon Gutierrez Brida, German Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 7
On the effect of object redundancy elimination in randomly testing collection classes
2018 · Pablo Ponzio, Valeria Bengolea, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 5
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
2024 · Luciano Zemín, Ariel Godio, et al. · ACM Transactions on Software Engineering and Methodology · 3
PDF
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs
2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 3
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
2019 · Zemín, Luciano, Brida, Simón Gutiérrez, et al. · arXiv (Cornell University) · 2
PDF
Iter-T: ITERative Test Suite Generation for Automated Program Repair
2026 · Ariel Godio, Simón Gutiérrez Brida, et al. · IEEE Transactions on Software Engineering · 1
An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
2024 · César Cornejo, María Marta Novaira, et al. · Lecture notes in computer science · 1
FLACK: Localizing Faults in Alloy Models
2021 · Guolong Zheng, ThanhVu Nguyen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1
Boolean expression extender — A mutation operator for strengthening and weakening boolean expressions
2017 · Simon Gutierrez Brida, Gaston Scilingo · Latin American Computer Conference (CLEI) · 1
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'
2021 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Detección de objetos espurios en generación automática de entradas
2019 · Simón Gutiérrez Brida, Pablo Ponzio, et al. · XXV Congreso Argentino de Ciencias de la Computación (CACIC) (Universidad Nacional de Río Cuarto, Córdoba, 14 al 18 de octubre de 2019)
Implementación Básica de Typestates en Rust
2019 · Marcelo Arroyo, Simón Gutiérrez Brida, et al. · El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
2012 · Simón Gutiérrez Brida, Nazareno Aguirre, et al. · XVIII Congreso Argentino de Ciencias de la Computación
Works count: 22
Citation count: 149
H-index: 7
I10-index: 5
Year
Topic
Type