Towards Abstraction for DynAlloy Specifications. - Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio; Brian J. Cardiff; Juan P. Galeotti; Germán Regis (ICFEM, 2008)

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. - Renzo Degiovanni; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (TAP@TOOLS, 2011)

Efficient Tight Field Bounds Computation Based on Shape Predicates. - Pablo Ponzio; Nicolás Rosner; Nazareno Aguirre; Marcelo F. Frias (FM, 2014)

Bounded exhaustive test input generation from hybrid invariants. - Nicolás Rosner; Valeria S. Bengolea; Pablo Ponzio; Shadi Abdul Khalek; Nazareno Aguirre; Marcelo F. Frias; Sarfraz Khurshid (OOPSLA, 2014)

Field-exhaustive testing. - Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias; Willem Visser (SIGSOFT FSE, 2016)

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)

On the effect of object redundancy elimination in randomly testing collection classes. - Pablo Ponzio; Valeria S. Bengolea; Simón Gutiérrez Brida; Gastón Scilingo; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

Automated workarounds from Java program specifications based on SAT solving. - Marcelo Uva; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (Int. J. Softw. Tools Technol. Transf., 2018)

Improving lazy abstraction for SCR specifications through constraint relaxation. - Renzo Degiovanni; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (Softw. Test. Verification Reliab., 2018)

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

Training binary classifiers as data structure invariants. - Facundo Molina; Renzo Degiovanni; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2019)

Efficient Test Generation Guided by Field Coverage Criteria. - Ariel Godio; Valeria S. Bengolea; Pablo Ponzio; Nazareno Aguirre; Marcelo Fabian Frias (ASE, 2019)

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. - Pablo Ponzio; Ariel Godio; Nicolás Rosner; Marcelo Arroyo; Nazareno Aguirre; Marcelo F. Frias (FASE, 2021)

EvoSpex: An Evolutionary Algorithm for Learning Postconditions. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

Learning to Prune Infeasible Paths in Generalized Symbolic Execution. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ISSRE, 2022)

LISSA: Lazy Initialization with Specialized Solver Aid. - Juan Manuel Copia; Pablo Ponzio; Nazareno Aguirre; Alessandra Gorla; Marcelo F. Frias (ASE, 2022)

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

Precise Lazy Initialization for Programs with Complex Heap Inputs. - Juan Manuel Copia; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Alessandra Gorla; Pablo Ponzio (ISSRE, 2023)

EvoSpex: A Search-Based Tool for Postcondition Inference. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ISSTA, 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)