Pablo Ponzio

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 19

Top Topics

Constraint Relaxation

Bounded Model Checking

Symbolic Execution

Top Venues

Publications

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238 (2024)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Efficient Bounded Exhaustive Input Generation from Program APIs. FASE (2023)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: A Search-Based Tool for Postcondition Inference. ISSTA (2023)
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
Precise Lazy Initialization for Programs with Complex Heap Inputs. ISSRE (2023)
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
LISSA: Lazy Initialization with Specialized Solver Aid. ASE (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Learning to Prune Infeasible Paths in Generalized Symbolic Execution. ISSRE (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. CoRR (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). ICSE (Companion Volume) (2021)
Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. FASE (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. ICSE (2021)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
Automatically Identifying Sufficient Object Builders from Module APIs. FASE (2019)
Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias
Efficient Test Generation Guided by Field Coverage Criteria. ASE (2019)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. 28 (2) (2018)
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE (2018)
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
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE (2017)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated Workarounds from Java Program Specifications Based on SAT Solving. FASE (2017)
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Field-exhaustive testing. SIGSOFT FSE (2016)
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
Bounded exhaustive test input generation from hybrid invariants. OOPSLA (2014)
Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias
Efficient Tight Field Bounds Computation Based on Shape Predicates. FM (2014)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP@TOOLS (2011)
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
Towards Abstraction for DynAlloy Specifications. ICFEM (2008)