About
4
Publications
360
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
19
Citations
Introduction
Luciano Zemin currently works at the Centro de Calidad Integral del Software (CISoft), Buenos Aires Institute of Technology. Luciano does research in Software Engineering, Automated Program Repair and Data Structures. Their current project is 'Stryker: Scaling Multiline Specification-Based Program Repair by Pruning Infeasible Mutants with SAT'.
Current institution
Additional affiliations
August 2013 - present
Position
- Professor (Assistant)
Description
- Programming and Data Structures for BioEngineering Grad-Students
August 2012 - present
Education
November 2012 - July 2018
March 2007 - December 2011
Publications
Publications (4)
In this article, we empirically study the suitability of tests as acceptance criteria for automated program fixes, by checking patches produced by automated repair tools using a bug-finding tool, as opposed to previous works that used tests or manual inspections. We develop a number of experiments in which faulty programs from IntroClass , a known...
Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an explosion on the number of generated fix candidates that severely limits the applicability of such f...
In this article we present a novel technique for automated parallel bug-finding based on the sequential analysis tool TACO. TACO is a tool based on SAT-solving for efficient bug-finding in Java code with rich class invariants. It prunes the SAT-solver's search space by introducing precise symmetry-breaking predicates and bounding the relational sem...
