Dario Olianas Automatic test case generation from UML state machine diagrams. 31:1-31:2 2019 Programming https://doi.org/10.1145/3328433.3328465 https://www.wikidata.org/entity/Q130947953 conf/programming/2019 db/conf/programming/programming2019.html#Olianas19