Login / Signup
Ariel Godio
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 3
Top Topics
Upper Bound
Evaluation Criteria
Generalization Error Bounds
Bounded Model Checking
Top Venues
FASE
ASE
SBST@ICSE
</>
Publications
</>
Pablo Ponzio
,
Ariel Godio
,
Nicolás Rosner
,
Marcelo Arroyo
,
Nazareno Aguirre
,
Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
FASE
(2021)
Ariel Godio
,
Valeria S. Bengolea
,
Pablo Ponzio
,
Nazareno Aguirre
,
Marcelo Fabian Frias
Efficient Test Generation Guided by Field Coverage Criteria.
ASE
(2019)
Luciano Zemín
,
Simón Gutiérrez Brida
,
Ariel Godio
,
César Cornejo
,
Renzo Degiovanni
,
Germán Regis
,
Nazareno Aguirre
,
Marcelo F. Frias
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
SBST@ICSE
(2017)