Resultados de Búsqueda por Autor

1

Efñcient Test Generation Guided by Field Coverage Gritería

por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2020

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
2

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

por Ponzio, Pablo Daniel, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
3

An analysis of the suitability of test-based patch acceptance criteria

por Zemín, Luciano, Gutiérrez Brida, Simón, Godio, Ariel, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Aguirre, Nazareno, Frías, Marcelo
Publicado 2019

Aportado por: Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)

Enlace del recurso

Ponencias en Congresos acceptedVersion

Agregar a favoritos

Guardado en: