%0 Journal Article %A Thomas Baar %T Towards measuring the abstractness of state machines based on mutation testing %J Modelirovanie i analiz informacionnyh sistem %D 2017 %P 691-703 %V 24 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a2/ %G en %F MAIS_2017_24_6_a2