Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 29 | 2016 |
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 | 28 | 2021 |
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 | 22 | 2017 |
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 | 20 | 2019 |
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 | 19 | 2014 |
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 | 9 | 2021 |
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 | 6 | 2018 |
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 | 6 | 2014 |
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 | 5 | 2018 |
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 | 5 | 2011 |
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 | 5 | 2008 |
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 | 4 | 2018 |
Automatically Identifying Sufficient Object Builders from Module APIs. P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias FASE, 427-444, 2019 | 3 | 2019 |
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 | 2 | 2021 |
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 | 2 | 2021 |
Efficient Bounded Exhaustive Input Generation from Program APIs M Politano, V Bengolea, F Molina, N Aguirre, MF Frias, P Ponzio International Conference on Fundamental Approaches to Software Engineering …, 2023 | 1 | 2023 |
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 | 1 | 2022 |
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 | 1 | 2022 |
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 | 1 | 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 | 1 | 2019 |