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
152016
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
112017
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
102014
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
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
42019
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
42018
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
42011
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
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
22018
Automatically Identifying Sufficient Object Builders from Module APIs.
P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias
FASE, 427-444, 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
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
Efficient test generation guided by field coverage criteria
A Godio, V Bengolea, P Ponzio, N Aguirre, MF Frias
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
2019
ProgEnv: Un entorno para la ensenanza de la programación
M Arroyo, F Bavera, V Bengolea, EP Cerdá, C Kilmurray, MM Novaira, ...
XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019
2019
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
2019
Reparación de programas aplicando templates: Generando workarounds permanentes a través de SAT
M Uva, PD Ponzio, NM Aguirre
XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019
2019
Detección de objetos espurios en generación automática de entradas
S Gutiérrez Brida, PD Ponzio, V Bengolea, NM Aguirre
XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019
2019
Hacia la construccion de drivers eficientes en bounded model checking mediante deteccion automatica de builders
M Politano, VS Bengolea, PD Ponzio, NM Aguirre
XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 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
The system can't perform the operation now. Try again later.
Articles 1–20