TY - JOUR AU - Thomas Baar TI - Towards measuring the abstractness of state machines based on mutation testing JO - Modelirovanie i analiz informacionnyh sistem PY - 2017 SP - 691 EP - 703 VL - 24 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a2/ LA - en ID - MAIS_2017_24_6_a2 ER -