Simón Gutiérrez Brida | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

ThanhVu Nguyen
12 publications
Nazareno Aguirre
9 publications
Hamid Bagheri
3 publications
Ali Jaoua
3 publications
Marcelo F. Frias
3 publications
Ali Mili
2 publications
Guolong Zheng
2 publications
Germán Regis
2 publications
Marcelo Frias
2 publications
Guolong Zhengz
1 publication
Hamid Bagheriz
1 publication

research

∙ 02/27/2021

Bounded Exhaustive Search of Alloy Specification Repairs

The rising popularity of declarative languages and the hard to debug nat...

0 Simón Gutiérrez Brida, et al. ∙

research

∙ 02/19/2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models

Fault localization is a practical research topic that helps developers i...

0 Guolong Zheng, et al. ∙

research

∙ 10/30/2019

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT

Many techniques for automated program repair involve syntactic program t...

0 Luciano Zemín, et al. ∙

Success!

An error occurred