Elementare MutationsüOperatoren zur Generierung von Testfällen anhand von Statecharts | VDE Conference Publication | IEEE Xplore