Luciano Zemín

According to our database, Luciano Zemín 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

2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.

Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

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