DEGIOVANNI RENZO GASTON

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE RIO CUARTO / FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES / DEPARTAMENTO DE COMPUTACION / GRUPO DE INGENIERIA DE SOFTWARE
Título	Doctor en Ciencias de la Computación
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo Abstraction-Aware Inference of Metamorphic Relations

Nolasco, Franco Agustín ; Molina, Facundo Joaquín ; Degiovanni, Renzo Gastón ; Gorla, Alessandra; Garbervetsky, Diego David ; Papadakis, Mike; Uchitel, Sebastian ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Association for Computing Machinery, 2024-07)
Artículo Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Scilingo, Gaston; Novaira, Maria Marta; Degiovanni, Renzo Gastón (Open Publishing Association, 2014-02)
Artículo Improving lazy abstraction for SCR specifications through constraint relaxation

Degiovanni, Renzo Gastón ; Ponzio, Pablo Daniel ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (John Wiley & Sons Ltd, 2018-03)

Mostrando ítems 1-3 de 3