Ariel Godio

Orcid: 0000-0001-9198-185X

According to our database1, Ariel Godio authored at least 5 papers between 2017 and 2026.

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

2026
Iter-T: ITERative Test Suite Generation for Automated Program Repair.
IEEE Trans. Software Eng., May, 2026

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

2021
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2019
Efficient Test Generation Guided by Field Coverage Criteria.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 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


  Loading...