Pablo Ponzio

According to our database1, Pablo Ponzio authored at least 20 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
EvoSpex: A Search-Based Tool for Postcondition Inference.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Precise Lazy Initialization for Programs with Complex Heap Inputs.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Efficient Bounded Exhaustive Input Generation from Program APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
LISSA: Lazy Initialization with Specialized Solver Aid.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Learning to Prune Infeasible Paths in Generalized Symbolic Execution.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2019
Efficient Test Generation Guided by Field Coverage Criteria.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Training binary classifiers as data structure invariants.
Proceedings of the 41st International Conference on Software Engineering, 2019

Automatically Identifying Sufficient Object Builders from Module APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
Improving lazy abstraction for SCR specifications through constraint relaxation.
Softw. Test. Verification Reliab., 2018

Automated workarounds from Java program specifications based on SAT solving.
Int. J. Softw. Tools Technol. Transf., 2018

On the effect of object redundancy elimination in randomly testing collection classes.
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.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Field-exhaustive testing.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2014
Bounded exhaustive test input generation from hybrid invariants.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Efficient Tight Field Bounds Computation Based on Shape Predicates.
Proceedings of the FM 2014: Formal Methods, 2014

2011
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

2008
Towards Abstraction for DynAlloy Specifications.
Proceedings of the Formal Methods and Software Engineering, 2008


  Loading...