UML Miner: A Tool for Mining UML Diagrams. - Pasquale Ardimento; Lerina Aversano; Mario Luca Bernardi; Vito Alessandro Carella; Marta Cimitile; Michele Scalera (MoDELS (Companion), 2023)