DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. - Germán Regis; César Cornejo; Simón Gutiérrez Brida; Mariano Politano; Fernando D. Raverta; Pablo Ponzio; Nazareno Aguirre; Juan Pablo Galeotti; Marcelo F. Frias (ESEC/SIGSOFT FSE, 2017)

Automatically Identifying Sufficient Object Builders from Module APIs. - Pablo Ponzio; Valeria S. Bengolea; Mariano Politano; Nazareno Aguirre; Marcelo F. Frias (FASE, 2019)

Efficient Bounded Exhaustive Input Generation from Program APIs. - Mariano Politano; Valeria S. Bengolea; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio (FASE, 2023)

BEAPI: A tool for bounded exhaustive input generation from APIs. - Mariano Politano; Valeria S. Bengolea; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio (Sci. Comput. Program., 2024)