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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
ACM Trans. Softw. Eng. Methodol., March, 2025
2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019
2017
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