Improving test coverage for UML state machines using transition instrumentation

Friske, M.M.FriskeSchlingloff, B.-H.B.-H.Schlingloff2022-03-102022-03-102007https://publica.fraunhofer.de/handle/publica/35503710.1007/978-3-540-75101-4_302-s2.0-38149035865en004006Improving test coverage for UML state machines using transition instrumentationconference paper