Mariano Politano

Mariano Politano

Universidad Nacional de Río Cuarto - Río Cuarto / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207047
National University of Río Cuarto
person_outline Mariano Politano's MOST POPULAR ARTICLES
1-) DynAlloy analyzer: A tool for the specification and analysis of Alloy models with dynamic behaviour Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
2-) Automatically Identifying Sufficient Object Builders from Module APIs. FASE, 427-444, 2019
3-) Efficient bounded exhaustive input generation from program APIs International Conference on Fundamental Approaches to Software Engineering …, 2023
4-) Analizando el uso de (Dyn) Alloy como herramienta educativa XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015
5-) BEAPI: A tool for bounded exhaustive input generation from APIsM Politano, V Bengolea, F Molina, N Aguirre, M Frias, P PonzioScience of Computer Programming 238, 103153, 2024