Follow
Mariano Politano
Mariano Politano
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
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
232017
Automatically Identifying Sufficient Object Builders from Module APIs.
P Ponzio, VS Bengolea, M Politano, N Aguirre, MF Frias
FASE, 427-444, 2019
22019
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
12015
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
The system can't perform the operation now. Try again later.
Articles 1–5