Germán Regis

30 papers A* 8A 1B 2C 3Journal 6Unranked 10
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
2025 A* conf
Automated Combinatorial Test Generation for Alloy.
ASE
Agustín Borda, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
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
2023 J jnl
A Study of the Electrum and DynAlloy Dynamic Behavior Notations.
IEEE Trans. Software Eng.
César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
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
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program.
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2019 A* conf
Training binary classifiers as data structure invariants.
ICSE
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018 A* conf
A genetic algorithm for goal-conflict identification.
ASE
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
2018 J jnl
Automated workarounds from Java program specifications based on SAT solving.
Int. J. Softw. Tools Technol. Transf.
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018 — conf
From operational to declarative specifications using a genetic algorithm.
SBST@ICSE
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, 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 B conf
Automated Workarounds from Java Program Specifications Based on SAT Solving.
FASE
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2017 — conf
CLTSA: labelled transition system analyser with counting fluent support.
ESEC/SIGSOFT FSE
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
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
2016 — conf
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
SBMF
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2015 — conf
Specifying Event-Based Systems with a Counting Fluent Temporal Logic.
ICSE (1)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2013 — conf
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.
LAFM
Germán Regis, Fernando Villar, Nicolás Ricci
2012 — conf
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
SBMF
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
2009 C conf
Specifying and Verifying Business Processes Using PPML.
ICFEM
Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
2008 C conf
Towards Abstraction for DynAlloy Specifications.
ICFEM
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
2007 B conf
Verifying Temporal Properties of CommUnity Designs.
IFM
Nazareno Aguirre, Germán Regis, T. S. E. Maibaum