Ariel Godio

According to our database, Ariel Godio authored at least 3 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.

Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2019

Efficient Test Generation Guided by Field Coverage Criteria.

Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias

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.

Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017