Benedetta Ippoliti

According to our database, Benedetta Ippoliti authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements.

Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025