Simn Gutirrez Brida
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2018 | ICSE | On the effect of object redundancy elimination in randomly testing collection classes. | Pablo Ponzio, Valeria S. Bengolea, Simn Gutirrez Brida, Gastn Scilingo, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | CLEI | Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions. | Simn Gutirrez Brida, Gastn Scilingo |
| 2017 | ICSE | An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. | Luciano Zemn, Simn Gutirrez Brida, Ariel Godio, Csar Cornejo, Renzo Degiovanni, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |