Belli, FevziBudnik, Christof J.Hollmann, AxelDittmann, Jana2019-08-262019-08-2620063-88579-171-4https://dl.gi.de/handle/20.500.12116/24793enHolistic testing of interactive systems using statechartsText/Conference Paper1617-5468