Mariano Politano

According to our database1, Mariano Politano authored at least 4 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
BEAPI: A tool for bounded exhaustive input generation from APIs.
Sci. Comput. Program., 2024

2023
Efficient Bounded Exhaustive Input Generation from Program APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2019
Automatically Identifying Sufficient Object Builders from Module APIs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2017
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 Engineering, 2017


  Loading...