According to our database1, Pablo Ponzio authored at least 14 papers between 2008 and 2021.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Softw. Test. Verification Reliab., 2018
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
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
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.
Proceedings of the Tests and Proofs - 5th International Conference, 2011
Proceedings of the Formal Methods and Software Engineering, 2008