![Simón Gutiérrez Brida](https://conf.researchr.org/getProfileImage/simongutierrezbrida/7506a62e-7254-4bb1-8e97-613a5b7b87f0/small.jpg?1711536180000)
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
2021
ICSE
- Bounded Exhaustive Search of Alloy Specification Repairs
- FLACK: Counterexample-Guided Fault Localization for Alloy Models
- Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
- Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
ICSE 2021-profile
View general profile
View general profile