Santiago Bermúdez

According to our database, Santiago Bermúdez authored at least 3 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias

CoRR, 2019

2015

Using augmented reality in urban context: Georeferenced system for business localization using Google Glass.

Leonardo Ferrer, Jesus Garcia-Mancilla, Víctor M. González, Santiago Bermúdez, Pedro Bleier, Carlos Prieto

Proceedings of the IEEE First International Smart Cities Conference, 2015

2013

Parallel bounded analysis in code with rich invariants by refinement of field bounds.

Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias

Proceedings of the International Symposium on Software Testing and Analysis, 2013