Pablo Ponzio

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