Hacia la construccion de drivers eficientes en bounded model checking mediante deteccion automatica de builders

por Politano, Mariano, Bengolea, Valeria S., Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2019

Automatically identifying sufficient object builders from Module APIs

por Ponzio, Pablo, Bengolea, Valeria, Politano, Mariano, Aguirre, Nazareno, Frías, Marcelo
Publicado 2020

Efficient Bounded Exhaustive Input Generation from Program APIs

por Politano, Mariano, Bengolea, Valeria, Molina, Facundo, Aguirre, Nazareno Matías, Frias, Marcelo F., Ponzio, Pablo Daniel
Publicado 2023

Analizando el uso de (Dyn)Alloy como herramienta educativa

por Cornejo, César, Politano, Mariano, Raverta, Fernando, Permigiani, Sonia, Ponzio, Pablo Daniel, Regis, Germán, Aguirre, Nazareno Matías
Publicado 2015

DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour

por Regis, Germán, Cornejo, César, Gutiérrez Brida, Simón, Politano, Mariano, Raverta, Fernando, Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, Frías, Marcelo
Publicado 2019