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