Follow
Pablo Ponzio
Title
Cited by
Cited by
Year
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
272016
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
232017
Evospex: An evolutionary algorithm for learning postconditions
F Molina, P Ponzio, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
212021
Bounded exhaustive test input generation from hybrid invariants
N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ...
ACM SIGPLAN Notices 49 (10), 655-674, 2014
182014
Training binary classifiers as data structure invariants
F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
172019
EvoSpex: An evolutionary algorithm for learning postconditions. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
F Molina, P Ponzio, N Aguirre, M Frias
IEEE, 2021
62021
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
62014
Automated workarounds from Java program specifications based on SAT solving
M Uva, P Ponzio, G Regis, N Aguirre, MF Frias
International Journal on Software Tools for Technology Transfer 20, 665-688, 2018
52018
On the effect of object redundancy elimination in randomly testing collection classes
P Ponzio, V Bengolea, SG Brida, G Scilingo, N Aguirre, M Frias
Proceedings of the 11th International Workshop on Search-Based Software …, 2018
52018
Abstraction based automated test generation from formal tabular requirements specifications
R Degiovanni, P Ponzio, N Aguirre, M Frias
Tests and Proofs: 5th International Conference, TAP 2011, Zurich …, 2011
52011
Towards abstraction for DynAlloy specifications
NM Aguirre, MF Frias, P Ponzio, BJ Cardiff, JP Galeotti, G Regis
Formal Methods and Software Engineering: 10th International Conference on …, 2008
52008
Improving lazy abstraction for SCR specifications through constraint relaxation
R Degiovanni, P Ponzio, N Aguirre, M Frias
Software Testing, Verification and Reliability 28 (2), e1657, 2018
42018
Efficient bounded model checking of heap-manipulating programs using tight field bounds
P Ponzio, A Godio, N Rosner, M Arroyo, N Aguirre, MF Frias
Fundamental Approaches to Software Engineering: 24th International …, 2021
22021
Automatically Identifying Sufficient Object Builders from Module APIs.
P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias
FASE, 427-444, 2019
22019
Learning to prune infeasible paths in generalized symbolic execution
F Molina, P Ponzio, N Aguirre, M Frias
2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022
12022
Lissa: Lazy initialization with specialized solver aid
JM Copia, P Ponzio, N Aguirre, A Gorla, M Frias
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
12022
EvoSpex: an evolutionary algorithm for learning postconditions (artifact)
F Molina, P Ponzio, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
12021
Implementación Básica de Typestates en Rust
M Arroyo, S Gutiérrez Brida, PD Ponzio
XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019
12019
Analizando el uso de (Dyn) Alloy como herramienta educativa
C Cornejo, M Politano, F Raverta, S Permigiani, PD Ponzio, G Regis, ...
XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015
12015
Towards scaling up DynAlloy analysis using predicate abstraction
R Arino, R Degiovanni, R Fervari, PD Ponzio, NM Aguirre
XV Congreso Argentino de Ciencias de la Computación, 2009
12009
The system can't perform the operation now. Try again later.
Articles 1–20