Pablo Ponzio

According to our database1, Pablo Ponzio authored at least 14 papers between 2008 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...