Pablo Ponzio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
10
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | GECCO | Search-based Inference of Class Invariants. | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2025 | SSBSE | Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us? | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2023 | FASE | Efficient Bounded Exhaustive Input Generation from Program APIs. | Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | ISSRE | Precise Lazy Initialization for Programs with Complex Heap Inputs. | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
| 2023 | ISSTA | EvoSpex: A Search-Based Tool for Postcondition Inference. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ISSRE | Learning to Prune Infeasible Paths in Generalized Symbolic Execution. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | FASE | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | FASE | Automatically Identifying Sufficient Object Builders from Module APIs. | Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | On the effect of object redundancy elimination in randomly testing collection classes. | Pablo Ponzio, Valeria S. Bengolea, Simn Gutirrez Brida, Gastn Scilingo, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | FASE | Automated Workarounds from Java Program Specifications Based on SAT Solving. | Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2014 | FM | Efficient Tight Field Bounds Computation Based on Shape Predicates. | Pablo Ponzio, Nicols Rosner, Nazareno Aguirre, Marcelo F. Frias |
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2011 | TAP | Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2008 | ICFEM | Towards Abstraction for DynAlloy Specifications. | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis |