Pablo Ponzio

According to our database, Pablo Ponzio authored at least 21 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

EvoSpex: A Search-Based Tool for Postcondition Inference.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Precise Lazy Initialization for Programs with Complex Heap Inputs.

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Efficient Bounded Exhaustive Input Generation from Program APIs.

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

LISSA: Lazy Initialization with Specialized Solver Aid.

Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Learning to Prune Infeasible Paths in Generalized Symbolic Execution.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2019

Efficient Test Generation Guided by Field Coverage Criteria.

Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Training binary classifiers as data structure invariants.

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 41st International Conference on Software Engineering, 2019

Automatically Identifying Sufficient Object Builders from Module APIs.

Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Improving lazy abstraction for SCR specifications through constraint relaxation.

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Softw. Test. Verification Reliab., 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

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

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017

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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Field-exhaustive testing.

Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

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

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Efficient Tight Field Bounds Computation Based on Shape Predicates.

Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the FM 2014: Formal Methods, 2014

2011

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Tests and Proofs - 5th International Conference, 2011

2008

Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis

Proceedings of the Formal Methods and Software Engineering, 2008