conf.researchr.org / Germán Regis
Registered user since Sat 10 Mar 2018
Name:Germán Regis
Country:Argentina
Affiliation:University of Rio Cuarto and CONICET
Personal website: https://gregistecco.github.io/
Contributions
2024
2022
ASE
2021
ASE
ICSE
- 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