| 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 |
| Automatically Identifying Sufficient Object Builders from Module APIs. P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias FASE, 427-444, 2019 | 3 | 2019 |
| 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 |
| 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 | 1 | 2015 |
| BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs M Politano, V Bengolea, F Molina, N Aguirre, M Frias, P Ponzio Science of Computer Programming, 103153, 2024 | | 2024 |
| 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 |
