Open AccessTowards Measuring the Abstractness of State Machines based on Mutation Testing
Author(s) -
Thomas Baar
Publication year - 2017
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2017-6-691-703
Subject(s) - computer science , finite state machine , software , state (computer science) , software system , notation , metric (unit) , software metric , formalism (music) , software quality , artificial intelligence , theoretical computer science , programming language , software development , mathematics , engineering , art , musical , operations management , arithmetic , visual arts