Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Germán Regis
conf.researchr.org general profile
ASE 2021 profile
ICSE 2019 profile
ICSE 2021 profile
ISSTA 2022 profile
Registered user since Sat 10 Mar 2018
Name:
Germán Regis
Country:
Argentina
Affiliation:
Universidad Nacional de Río Cuarto
Contributions
ISSTA 2022
Author of ATR: Template-based Repair for Alloy Specifications within the Technical Papers-track
ASE 2021
Author of FLACK: Localizing Faults in Alloy Models within the Tool Demonstrations-track
Author of BeAFix: An Automated Repair Tool for Faulty Alloy Models within the Tool Demonstrations-track
ICSE 2021
Author of Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs within the AE - Artifact Evaluation-track
Author of Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models" within the AE - Artifact Evaluation-track
Author of Bounded Exhaustive Search of Alloy Specification Repairs within the Technical Track-track
Author of FLACK: Counterexample-Guided Fault Localization for Alloy Models within the Technical Track-track
ICSE 2019
Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
Share
x
Thu 30 Jun 12:40