Old Web
English
Sign In
Acemap
>
authorDetail
>
Luciano Zemín
Luciano Zemín
Instituto Tecnológico de Buenos Aires
Computer science
Theoretical computer science
Java
Soundness
Completeness (statistics)
3
Papers
11
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
2019
arXiv: Software Engineering
Luciano Zemín
Simón Gutiérrez Brida
Santiago Bermúdez
Santiago Perez De Rosso
Nazareno Aguirre
Ali Mili
Ali Jaoua
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (1)
An analysis of the suitability of test-based patch acceptance criteria
2017
Luciano Zemín
Simón Gutiérrez Brida
Ariel Godio
César Cornejo
Renzo Degiovanni
Germán Regis
Nazareno Aguirre
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (3)
Parallel bounded analysis in code with rich invariants by refinement of field bounds
2013
ISSTA | International Symposium on Software Testing and Analysis
Nicolás Rosner
Juan Pablo Galeotti
Santiago Bermúdez
Guido Marucci Blas
Santiago Perez De Rosso
Lucas Pizzagalli
Luciano Zemín
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (7)
1