Pablo Ponzio
TitleCited byYear
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
112016
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
92014
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
62017
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
International Symposium on Formal Methods, 531-546, 2014
52014
Towards abstraction for DynAlloy specifications
NM Aguirre, MF Frias, P Ponzio, BJ Cardiff, JP Galeotti, G Regis
International Conference on Formal Engineering Methods, 207-225, 2008
42008
Abstraction based automated test generation from formal tabular requirements specifications
R Degiovanni, P Ponzio, N Aguirre, M Frias
International Conference on Tests and Proofs, 84-101, 2011
32011
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 (6), 665-688, 2018
22018
Training binary classifiers as data structure invariants
F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias
Proceedings of the 41st International Conference on Software Engineering …, 2019
12019
On the effect of object redundancy elimination in randomly testing collection classes
P Ponzio, V Bengolea, SG Brida, G Scilingo, N Aguirre, M Frias
2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing …, 2018
12018
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
12018
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
Automatically Identifying Sufficient Object Builders from Module APIs
P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias
International Conference on Fundamental Approaches to Software Engineering …, 2019
2019
Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
M Uva, PD Ponzio, G Regis, NM Aguirre
XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., 2016
2016
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
2015
Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT
PD Ponzio
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014
2014
Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy
R Arino, R Degiovanni, R Fervari, PD Ponzio, NM Aguirre
XVI Congreso Argentino de Ciencias de la Computación, 2010
2010
Darwin: una herramienta para verificar diseños arquitecturales
PF Castro, PD Ponzio, RA Demasi, GA Baum
VII Workshop de Investigadores en Ciencias de la Computación, 2005
2005
Verificando diseños BON mediante Alloy
PF Castro, PD Ponzio, RA Demasi, GA Baum
XI Congreso Argentino de Ciencias de la Computación, 2005
2005
Verifying BON models with Alloy
RA Demasi, PD Ponzio, PF Castro, GA Baum
Journal of Computer Science & Technology 5, 2005
2005
Efficient Test Generation Guided by Field Coverage Criteria
A Godio, V Bengolea, P Ponzio, N Aguirre, MF Frias
The system can't perform the operation now. Try again later.
Articles 1–20