Publications          Teaching          CV           CV_spanish

---

Publications

2023

Efficient Bounded Exhaustive Input Generation from Program APIs”

Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France - April 22—27, 2023.

2019

Automatically Identifying Sufficient Object Builders from Module APIs

Pablo Ponzio, Valeria Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias - 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019. Prague, Czech Republic.

2017

DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour

Germán Regis (UNRC), César Cornejo (UNRC), Simón Gutiérrez Brida (UNRC), Mariano Politano (UNRC), Fernando Raverta (UNC), Pablo Ponzio (UNRC), Nazareno Aguirre (UNRC), Juan Pablo Galeotti, (UBA) y Marcelo Frias (ITBA) - 11th Joint meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering – ESEC/FSE 2017 - Paderborn, Alemania

Popular Science

2019

Hacia la construcción de drivers eficientes en bounded model checking mediante detección automática de builders

Mariano Politano, Valeria Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias - Congreso Argentino de Ciencias de la Computación 2019 (CACIC 2019).

2015

Analizando el uso de (Dyn) Alloy como herramienta educativa

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