Statistics
Publications
4
Citations
74
H-Index
4
Active since
2014
Pablo Ponzio is an author at Buenos Aires Institute of Technology specializing in automated reasoning, software analysis, and formal verification.
Publications per year
2014–2019
4
4
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias et al. · 2016 · 23 citations
Test Generation Technique, Engineering, Computational Testing +15
Training Binary Classifiers as Data Structure Invariants
Facundo Molina, Renzo Degiovanni, Pablo Ponzio et al. · 2019 · 20 citations · Full text
Bounded exhaustive test input generation from hybrid invariants
Nicolás Rosner, Valeria Bengolea, Pablo Ponzio et al. · 2014 · 16 citations
1–4 of 4