Pablo Ponzio

Pablo Ponzio

Universidad Nacional de Río Cuarto - Río Cuarto / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 4840401
National University of Río Cuarto
person_outline Pablo Ponzio's MOST POPULAR ARTICLES
1-) Field-exhaustive testingP Ponzio, N Aguirre, MF Frias, W VisserProceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016252016
2-) Evospex: An evolutionary algorithm for learning postconditionsF Molina, P Ponzio, N Aguirre, M Frias2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021232021
3-) DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviourG Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017232017
4-) Training binary classifiers as data structure invariantsF Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019192019
5-) Bounded exhaustive test input generation from hybrid invariantsN Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ...ACM SIGPLAN Notices 49 (10), 655-674, 2014192014