Marcelo Frias | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nazareno Aguirre
9 publications
Facundo Molina
4 publications
Simón Gutiérrez Brida
3 publications
Germán Regis
2 publications
Pablo Ponzio
1 publication
Hamid Bagheriz
1 publication
Guolong Zhengz
1 publication
ThanhVu Nguyenz
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/26/2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Software reliability is a primary concern in the construction of softwar...

0 Facundo Molina, et al. ∙