Simón Gutiérrez Brida

Orcid: 0000-0003-3115-2739

According to our database1, Simón Gutiérrez Brida authored at least 14 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2022
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021
FLACK: Localizing Faults in Alloy Models.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019

2018
On the effect of object redundancy elimination in randomly testing collection classes.
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017


  Loading...