Luciano Zemín

Orcid: 0009-0002-8804-7331

According to our database1, Luciano Zemín authored at least 4 papers between 2013 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.
ACM Trans. Softw. Eng. Methodol., March, 2025

2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019

2017
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2013


  Loading...