• Sign in
  • Sign up
conf.researchr.org / Simón Gutiérrez Brida
  • ASE 2021 profile
  • ASE 2022 profile
  • ICSE 2021 profile
  • ISSTA 2022 profile
Simón Gutiérrez Brida

Registered user since Tue 2 Mar 2021

Name:Simón Gutiérrez Brida
Country:Argentina
Affiliation:University of Rio Cuarto and CONICET, Argentina
Personal website: https://saiema.github.io
GitHub: https://github.com/saiema
Research interests:Model Repair, Program Repair, Mutation Testing

Contributions

2022

ASE

  • Author of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Research Papers-track
  • Author of Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Artifact Evaluation-track

ISSTA

  • Author of ATR: Template-based Repair for Alloy Specifications within the Technical Papers-track

2021

ASE

  • 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

  • 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
  • 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
Share
xSun 26 Oct 21:07
using conf.researchr.org (v1.72.1)
Support page
Sign Up