Pablo Ponzio - RankMe

25 papers A* 5A 4B 5C 1Journal 4Unranked 6

Year	Rank	Type	Title / 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