Santiago Bermúdez

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Static Analysis

Top Venues

Publications

Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR (2019)
Leonardo Ferrer, Jesus Garcia-Mancilla, Víctor M. González, Santiago Bermúdez, Pedro Bleier, Carlos Prieto
Using augmented reality in urban context: Georeferenced system for business localization using Google Glass. ISC2 (2015)
Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA (2013)