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 (ISSTA, 2013)

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 (SBST@ICSE, 2017)

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 001; Ali Jaoua; Marcelo F. Frias (CoRR, 2019)

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria. - Luciano Zemín; Ariel Godio; César Cornejo; Renzo Degiovanni; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo Fabian Frias (ACM Trans. Softw. Eng. Methodol., 2025)