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 | 23 | 2017 |
Automatically Identifying Sufficient Object Builders from Module APIs. P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias FASE, 427-444, 2019 | 2 | 2019 |
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 |
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 | | 2023 |
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 |