Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions. - Simón Gutiérrez Brida; Gastón Scilingo (CLEI, 2017)

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. - Luciano Zemín; Simón Gutiérrez Brida; Ariel Godio; César Cornejo; Renzo Degiovanni; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2017)

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. - 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 (ESEC/SIGSOFT FSE, 2017)

On the effect of object redundancy elimination in randomly testing collection classes. - Pablo Ponzio; Valeria S. Bengolea; Simón Gutiérrez Brida; Gastón Scilingo; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

Mutación de expresiones de navegación para testing y reparación - Simón Gutiérrez Brida (2018)

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. - Luciano Zemín; Simón Gutiérrez Brida; Santiago Bermúdez; Santiago Perez De Rosso; Nazareno Aguirre; Ali Mili 001; Ali Jaoua; Marcelo F. Frias (CoRR, 2019)

Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE, 2021)

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE (Companion Volume), 2021)

BeAFix: An Automated Repair Tool for Faulty Alloy Models. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2021)

FLACK: Localizing Faults in Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ASE, 2021)

ATR: template-based repair for Alloy specifications. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo F. Frias; Hamid Bagheri (ISSTA, 2022)

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2022)

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. - César Cornejo; María Marta Novaira; Sonia Permigiani; Nazareno Aguirre; Marcelo F. Frias; Simón Gutiérrez Brida; Germán Regis (ABZ, 2024)

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria. - Luciano Zemín; Ariel Godio; César Cornejo; Renzo Degiovanni; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo Fabian Frias (ACM Trans. Softw. Eng. Methodol., 2025)