Ariel Godio
Orcid: 0000-0001-9198-185X
According to our database1,
Ariel Godio authored at least 5 papers
between 2017 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
IEEE Trans. Software Eng., May, 2026
2025
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
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017