Ali Mili | DeepAI

DeepAI

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

Featured Co-authors

Nazareno Aguirre
9 publications
Simón Gutiérrez Brida
3 publications
Marcelo F. Frias
3 publications
Ali Jaoua
3 publications
Marwa Benabdelali
1 publication
Lamia Labed Jilani
1 publication
Wided Ghardallou
1 publication
Luciano Zemín
1 publication
Santiago Bermúdez
1 publication
Santiago Perez De Rosso
1 publication

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. ∙

research

∙ 10/23/2018

Programming Without Refining

To derive a program for a given specification R means to find an artifac...

0 Marwa Benabdelali, et al. ∙